diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java
index 2f0c7980f..b71497cdb 100644
--- a/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java
+++ b/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java
@@ -389,9 +389,6 @@ private File getSaveAsOWLFile(@Nonnull OWLOntology ont, @Nonnull OWLDocumentForm
             if (extensionIndex == -1) {
                 file = new File(file.toString() + extensions.get(0));
             }
-            else if (! extensions.contains(file.toString().substring(extensionIndex))) {
-                file = new File(file.toString() + extensions.get(0));
-            }
         }
         return file;
     }