@Override
        public Component getListCellRendererComponent(JList<? extends ArrayList<Configuration>> list, ArrayList<Configuration> value, int index, boolean isSelected, boolean cellHasFocus) {
            setOpaque(true);
            if (isSelected) {
                setBackground(list.getSelectionBackground());
                setForeground(list.getSelectionForeground());
            } else {
                setBackground(list.getBackground());
                setForeground(list.getForeground());
            }
            setText("");
            if (value == null) return this;
            for (Configuration c: value) {
                setText((getText().length() == 0?"":getText()+" \u22a6 ")
                            +"\u3008"+c.q.getName()+", "
                            +(c.input.length()==0?"\u03B5":c.input) + "\u3009");
            }
            Configuration last = value.get(value.size()-1);
            if (last.input.length() == 0) setText(getText()+(last.q.isFinal()?" \u2713":" \u2717"));
            return this;
        }