Package de.ipk_gatersleben.ag_nw.graffiti.plugins.gui.editing_tools