protected TableModel createModel(Transition transition) {
		final FSATransition t = (FSATransition) transition;
		return new AbstractTableModel() {
			public Object getValueAt(int row, int column) {
				return s;
			}

			public void setValueAt(Object o, int r, int c) {
				s = (String) o;
			}

			public boolean isCellEditable(int r, int c) {
				return true;
			}

			public int getRowCount() {
				return 1;
			}

			public int getColumnCount() {
				return 1;
			}

			public String getColumnName(int c) {
				return "Label";
			}

			String s = t.getLabel();
		};
	}