jRevert.setEnabled(pp.isReversible());
	public void valueChanged(ListSelectionEvent e) {		String className = jIcons.getSelectedValue().getClass().getName();		Log.log(Log.TRACE, MODULE, "Showing panel: " + className);		jPanelsLayout.show(jPanels, className);		pack();	}