workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;
workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle