/** * <body> * GUI Package. Can be completely removed if only the backend is needed. * </body> */ package org.basex.gui;