Package jadex.base.gui