Package de.jstacs.tools.ui.galaxy