Make sure reasoner menu is present

protegeproject · Jun 17, 2016 · daf594d · daf594d
1 parent de0ed69
commit daf594d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/model/OWLWorkspace.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/model/OWLWorkspace.java
@@ -526,6 +526,10 @@ private void rebuildReasonerMenu(JMenuBar menuBar) {
 
         JMenu reasonerMenu = getReasonerMenu(menuBar);
 
+        if(reasonerMenu == null) {
+            return;
+        }
+
         reasonerMenu.removeAll();
 
         startReasonerAction.setEditorKit(getOWLEditorKit());