Merge pull request #22 from protegeproject/filtered-hierarchies

Remove sealed interface and downgrade to Java 17
protegeproject · Oct 17, 2024 · e7e7019 · e7e7019
2 parents cf5a946 + 3989fab
commit e7e7019
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -30,7 +30,7 @@
         <maven.build.timestamp.format>yyyyMMdd</maven.build.timestamp.format>
         <commonmark.version>0.11.0</commonmark.version>
         <lucene.version>8.5.2</lucene.version>
-        <java.version>21</java.version>
+        <java.version>17</java.version>
         <spring-cloud.version>2020.0.3</spring-cloud.version>
     </properties>
 

diff --git a/src/main/java/edu/stanford/protege/webprotege/hierarchy/HierarchyDescriptor.java b/src/main/java/edu/stanford/protege/webprotege/hierarchy/HierarchyDescriptor.java
@@ -10,7 +10,7 @@
         @JsonSubTypes.Type(DataPropertyHierarchyDescriptor.class),
         @JsonSubTypes.Type(AnnotationPropertyHierarchyDescriptor.class)
 })
-public sealed interface HierarchyDescriptor permits ClassHierarchyDescriptor, ObjectPropertyHierarchyDescriptor, DataPropertyHierarchyDescriptor, AnnotationPropertyHierarchyDescriptor {
+public interface HierarchyDescriptor {
 
 
 }