private void fillChoice(JComboBox c, String implDir, String selection) {
		c.removeAllItems();
		Vector<String> names = Global.getImplementations(implDir);
		if(!names.contains(selection)) {
			names.add(selection);
		}
		for(String s : names) {
			c.addItem(s);
		}
		c.setSelectedItem(selection);
	}