}); } return openButton;
} }); mainpane.add(openButton); return mainpane;
	private JButton getOpenButton() {		if (openButton == null) {			openButton = new JButton();			openButton.setIcon(new ImageIcon("/usr/share/icons/hicolor/16x16/stock/io/stock_open.png"));			openButton.setName("Open");			openButton.setText("Open");			openButton.addActionListener(new java.awt.event.ActionListener() { 				public void actionPerformed(java.awt.event.ActionEvent e) {    				executeOpenAction();				}			});		}		return openButton;	}