From 5479b8c7876894b9b9fa8c33242d23fb1db498aa Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 21 Oct 2020 11:41:21 +0200
Subject: Fix issue with introduction of new version of OWLAPI

---
 src/test/scala/rsacomb/OWLClassSpec.scala | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

(limited to 'src/test/scala/rsacomb/OWLClassSpec.scala')

diff --git a/src/test/scala/rsacomb/OWLClassSpec.scala b/src/test/scala/rsacomb/OWLClassSpec.scala
index 74c641e..ed91ba7 100644
--- a/src/test/scala/rsacomb/OWLClassSpec.scala
+++ b/src/test/scala/rsacomb/OWLClassSpec.scala
@@ -1,9 +1,12 @@
 package rsacomb
 
+import java.util.{ArrayList => JList}
+
 import org.scalatest.LoneElement
 import org.scalatest.flatspec.AnyFlatSpec
 import org.scalatest.matchers.should.Matchers
 
+import org.semanticweb.owlapi.model.OWLClassExpression
 import uk.ac.manchester.cs.owl.owlapi.{
   OWLClassImpl,
   OWLObjectSomeValuesFromImpl,
@@ -67,12 +70,13 @@ object OWLClassSpec {
   //
   //    Female ∧ Student ∧ Worker
   //
-  val class_OWLObjectIntersectionOf =
-    new OWLObjectIntersectionOfImpl(
-      class_Female,
-      class_Student,
-      class_Worker
-    )
+  val class_OWLObjectIntersectionOf = {
+    val conjuncts = new JList[OWLClassExpression]()
+    conjuncts.add(class_Female)
+    conjuncts.add(class_Student)
+    conjuncts.add(class_Worker)
+    new OWLObjectIntersectionOfImpl(conjuncts)
+  }
   // Singleton Class corresponding to
   //
   //    { alice }
-- 
cgit v1.2.3