@Override
    public Object getValueAt(int arg0, int arg1) {
        if (arg1 == 0)
            return (dfa.getStates().get(arg0).getState_Properties().getName()); else
                return getEntry(arg0, arg1-1);
    }