private JButton getIndex() {
		JButton index = new JButton("Index");
		index.setFont(new Font("SansSerif", Font.PLAIN, 11));
		index.addActionListener(new ActionListener() {
			@Override
			public void actionPerformed(ActionEvent event) {
				executeIndex();
			}
		});
		return index;
	}