Fix Import

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/CustomError.java

@@ -2,6 +2,7 @@
 
 /**
  * Custom error with an arbitrary message
+ * 
  * @see LJError
  */
 public class CustomError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/GhostInvocationError.java

@@ -5,6 +5,7 @@
 
 /**
  * Error indicating that a ghost method invocation is invalid (e.g., has wrong arguments)
+ * 
  * @see LJError
  */
 public class GhostInvocationError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/IllegalConstructorTransitionError.java

@@ -4,6 +4,7 @@
 
 /**
  * Error indicating that a constructor contains a state refinement with a 'from' state, which is not allowed
+ * 
  * @see LJError
  */
 public class IllegalConstructorTransitionError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/InvalidRefinementError.java

@@ -4,6 +4,7 @@
 
 /**
  * Error indicating that a refinement is invalid (e.g., not a boolean expression)
+ * 
  * @see LJError
  */
 public class InvalidRefinementError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/NotFoundError.java

@@ -4,6 +4,7 @@
 
 /**
  * Error indicating that an element referenced in a refinement was not found
+ * 
  * @see LJError
  */
 public class NotFoundError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java

@@ -7,6 +7,7 @@
 
 /**
  * Error indicating that a refinement constraint either was violated or cannot be proven
+ * 
  * @see LJError
  */
 public class RefinementError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateConflictError.java

@@ -5,6 +5,7 @@
 
 /**
  * Error indicating that two disjoint states were found in a state refinement
+ * 
  * @see LJError
  */
 public class StateConflictError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/StateRefinementError.java

@@ -6,6 +6,7 @@
 
 /**
  * Error indicating that a state refinement transition was violated
+ * 
  * @see LJError
  */
 public class StateRefinementError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/SyntaxError.java

@@ -4,6 +4,7 @@
 
 /**
  * Error indicating that the syntax of a refinement is invalid
+ * 
  * @see LJError
  */
 public class SyntaxError extends LJError {

liquidjava-verifier/src/main/java/liquidjava/diagnostics/warnings/ExternalClassNotFoundWarning.java

@@ -4,6 +4,7 @@
 
 /**
  * Warning indicating that a class referenced in an external refinement was not found
+ * 
  * @see LJWarning
  */
 public class ExternalClassNotFoundWarning extends LJWarning {