// returns a "short info" panel, if something is available
private JPanel getDescriptionPanel() {
JPanel back = null;
JEditorPane infoText = null;
URL infoURL = JabRef.class.getResource(GUIGlobals.getLocaleHelpPath() +
GUIGlobals.shortAuxImport);
if (infoURL != null) {
try {
infoText = new JEditorPane();
infoText.setEditable(false);
infoText.setPreferredSize(new Dimension(240, 50));
infoText.setMinimumSize(new Dimension(180, 50));
infoText.setPage(infoURL);
infoText.setBackground(GUIGlobals.infoField);
infoText.setBorder(new EtchedBorder(EtchedBorder.LOWERED));
// content
back = new JPanel();
back.setLayout(new BorderLayout());
back.add(infoText, BorderLayout.PAGE_START);