From 64ea403273bb4a1288b59554b1c6f7a44c76ba2a Mon Sep 17 00:00:00 2001
From: ignazio <ignazio.palmisano@gmail.com>
Date: Wed, 1 Apr 2015 21:28:29 +0100
Subject: [PATCH] Update to OWLAPI 4.0.2

---
 pom.xml                                                | 10 +++++-----
 .../explanation/JustificationFormattingManager.java    | 10 +++++++---
 2 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/pom.xml b/pom.xml
index 8db0896..87ff13e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -58,31 +58,31 @@
         <dependency>
 			<groupId>edu.stanford.protege</groupId>
 			<artifactId>org.protege.common</artifactId>
-			<version>5.0.0-beta-15</version>
+			<version>5.0.0-beta-18-SNAPSHOT</version>
         </dependency>
 
         <dependency>
 			<groupId>edu.stanford.protege</groupId>
 			<artifactId>org.protege.editor.core.application</artifactId>
-			<version>5.0.0-beta-15</version>
+			<version>5.0.0-beta-18-SNAPSHOT</version>
         </dependency>
         
         <dependency>
 			<groupId>edu.stanford.protege</groupId>
 			<artifactId>org.protege.editor.owl</artifactId>
-			<version>5.0.0-beta-15</version>
+			<version>5.0.0-beta-18-SNAPSHOT</version>
         </dependency>
         
 		<dependency>
 			<groupId>net.sourceforge.owlapi</groupId>
 			<artifactId>owlexplanation</artifactId>
-			<version>1.1.0</version>
+			<version>1.1.1-SNAPSHOT</version>
 		</dependency>
 
 		<dependency>
 			<groupId>net.sourceforge.owlapi</groupId>
 			<artifactId>telemetry</artifactId>
-			<version>1.0.0</version>
+			<version>1.0.1-SNAPSHOT</version>
 		</dependency>
 
 	</dependencies>
diff --git a/src/main/java/uk/ac/manchester/cs/owl/explanation/JustificationFormattingManager.java b/src/main/java/uk/ac/manchester/cs/owl/explanation/JustificationFormattingManager.java
index 0eeaca8..24ae674 100644
--- a/src/main/java/uk/ac/manchester/cs/owl/explanation/JustificationFormattingManager.java
+++ b/src/main/java/uk/ac/manchester/cs/owl/explanation/JustificationFormattingManager.java
@@ -1,14 +1,18 @@
 package uk.ac.manchester.cs.owl.explanation;
 
+import java.util.ArrayList;
+import java.util.Collections;
+import java.util.HashMap;
+import java.util.List;
+import java.util.Map;
+
 import org.semanticweb.owl.explanation.api.Explanation;
 import org.semanticweb.owlapi.apibinding.OWLManager;
 import org.semanticweb.owlapi.model.OWLAxiom;
 
-import java.util.*;
-
 import uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrdererImpl;
 import uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree;
-import uk.ac.manchester.cs.bhig.util.Tree;
+import uk.ac.manchester.cs.owl.explanation.ordering.Tree;
 /*
  * Copyright (C) 2008, University of Manchester
  *