Package jadex.bpmn.editor.gui.propertypanels