diff --git a/pom.xml b/pom.xml index eb183bd7d..9c6d02bee 100644 --- a/pom.xml +++ b/pom.xml @@ -3,7 +3,7 @@ edu.stanford.protege protege-parent - 5.6.0 + 5.6.1 pom protege-parent @@ -138,7 +138,7 @@ net.sourceforge.owlapi owlapi-osgidistribution - 4.5.24 + 4.5.25 diff --git a/protege-common/pom.xml b/protege-common/pom.xml index 3c38d2d52..7a65ce848 100644 --- a/protege-common/pom.xml +++ b/protege-common/pom.xml @@ -5,7 +5,7 @@ edu.stanford.protege protege-parent - 5.6.0 + 5.6.1 ../ diff --git a/protege-desktop/pom.xml b/protege-desktop/pom.xml index 39e3bb05e..d2bd5afd6 100644 --- a/protege-desktop/pom.xml +++ b/protege-desktop/pom.xml @@ -4,7 +4,7 @@ edu.stanford.protege protege-parent - 5.6.0 + 5.6.1 ../ diff --git a/protege-desktop/src/main/env/os-x/MacOS/protege b/protege-desktop/src/main/env/os-x/MacOS/protege index f23569225..cfcba92d1 100755 Binary files a/protege-desktop/src/main/env/os-x/MacOS/protege and b/protege-desktop/src/main/env/os-x/MacOS/protege differ diff --git a/protege-editor-core/pom.xml b/protege-editor-core/pom.xml index b3346aa45..a31a4bb9d 100644 --- a/protege-editor-core/pom.xml +++ b/protege-editor-core/pom.xml @@ -5,7 +5,7 @@ edu.stanford.protege protege-parent - 5.6.0 + 5.6.1 ../ diff --git a/protege-editor-owl/pom.xml b/protege-editor-owl/pom.xml index 41b7222ab..f3ba042f5 100644 --- a/protege-editor-owl/pom.xml +++ b/protege-editor-owl/pom.xml @@ -5,7 +5,7 @@ edu.stanford.protege protege-parent - 5.6.0 + 5.6.1 ../ 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; } diff --git a/protege-launcher/pom.xml b/protege-launcher/pom.xml index 38a9a8df5..a50c797bb 100644 --- a/protege-launcher/pom.xml +++ b/protege-launcher/pom.xml @@ -5,7 +5,7 @@ edu.stanford.protege protege-parent - 5.6.0 + 5.6.1 ../