<BUG>import java.awt.image.*;import org.basex.data.*;</BUG><CONTEXT>import static org.basex.core.Text.*;import static org.basex.gui.GUIConstants.*;import static org.basex.gui.layout.BaseXKeys.*;import java.awt.*;import java.awt.event.*;<extra_id_0>import org.basex.gui.*;import org.basex.gui.layout.*;import org.basex.gui.view.*;</CONTEXT>
import javax.swing.*;import org.basex.data.*;