Removed the properties "isVolatile" and "isTransient" of the static variables TableEditorActions.EDITABLE_OR_NEXT_CELL and TableEditorActions.EDITABLE_OR_PREV_CELL. For some reason, the model checker did not show the error before.