move from jetbrains to vorpal

Makefile

@@ -26,7 +26,7 @@ $(OBJECTS): $(SOURCES)
 	$(CC) $(CFLAGS) $< -o $@
 
 headers:
-	javah -d $(SOURCES_DIR) -classpath $(BASE_DIR)/src/main/java -force org.jetbrains.research.boolector.Native
+	javah -d $(SOURCES_DIR) -classpath $(BASE_DIR)/src/main/java -force org.vorpal.research.boolector.Native
 
 clean:
 	rm -rfi $(OBJECTS_DIR) $(EXECUTABLE)

pom.xml

@@ -4,9 +4,9 @@
          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
     <modelVersion>4.0.0</modelVersion>
 
-    <groupId>org.jetbrains.research</groupId>
+    <groupId>org.vorpal.research</groupId>
     <artifactId>boolector-java</artifactId>
-    <version>3.2.5</version>
+    <version>3.2.6</version>
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
@@ -17,7 +17,7 @@
         <dependency>
             <groupId>junit</groupId>
             <artifactId>junit</artifactId>
-            <version>4.12</version>
+            <version>4.13.2</version>
             <scope>test</scope>
         </dependency>
     </dependencies>

src/main/java/org/jetbrains/research/boolector/ArrayNode.java → src/main/java/org/vorpal/research/boolector/ArrayNode.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public class ArrayNode extends BoolectorNode {
 

src/main/java/org/jetbrains/research/boolector/ArraySort.java → src/main/java/org/vorpal/research/boolector/ArraySort.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public class ArraySort extends BoolectorSort {
 

src/main/java/org/jetbrains/research/boolector/BitvecNode.java → src/main/java/org/vorpal/research/boolector/BitvecNode.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import java.util.HashSet;
 import java.util.Set;

src/main/java/org/jetbrains/research/boolector/BitvecSort.java → src/main/java/org/vorpal/research/boolector/BitvecSort.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public class BitvecSort extends BoolectorSort {
 

src/main/java/org/jetbrains/research/boolector/BoolNode.java → src/main/java/org/vorpal/research/boolector/BoolNode.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public class BoolNode extends BoolectorNode {
     BoolNode(Btor btor, long ref) {
@@ -48,7 +48,7 @@ public BoolNode toBoolNode() {
 
     @Override
     public BitvecNode toBitvecNode() {
-        return (BitvecNode) BitvecNode.create(this.btor, this.ref, this.name);
+        return (BitvecNode) create(this.btor, this.ref, this.name);
     }
 
     @Override

src/main/java/org/jetbrains/research/boolector/BoolSort.java → src/main/java/org/vorpal/research/boolector/BoolSort.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public class BoolSort extends BoolectorSort {
     private static final int BOOL_WIDTH = 1;

src/main/java/org/jetbrains/research/boolector/BoolectorFunction.java → src/main/java/org/vorpal/research/boolector/BoolectorFunction.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import java.util.List;
 

src/main/java/org/jetbrains/research/boolector/BoolectorNode.java → src/main/java/org/vorpal/research/boolector/BoolectorNode.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public abstract class BoolectorNode extends BoolectorObject {
     protected static int numberOfNames;

src/main/java/org/jetbrains/research/boolector/BoolectorObject.java → src/main/java/org/vorpal/research/boolector/BoolectorObject.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import java.util.Objects;
 

src/main/java/org/jetbrains/research/boolector/BoolectorSort.java → src/main/java/org/vorpal/research/boolector/BoolectorSort.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public abstract class BoolectorSort extends BoolectorObject {
     private Integer width;

src/main/java/org/jetbrains/research/boolector/Btor.java → src/main/java/org/vorpal/research/boolector/Btor.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import java.io.IOException;
 import java.util.Objects;

src/main/java/org/jetbrains/research/boolector/FunctionDecl.java → src/main/java/org/vorpal/research/boolector/FunctionDecl.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import java.util.List;
 

src/main/java/org/jetbrains/research/boolector/FunctionSort.java → src/main/java/org/vorpal/research/boolector/FunctionSort.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public class FunctionSort extends BoolectorSort {
 

src/main/java/org/jetbrains/research/boolector/Native.java → src/main/java/org/vorpal/research/boolector/Native.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public final class Native {
 

src/main/java/org/jetbrains/research/boolector/NativeUtils.java → src/main/java/org/vorpal/research/boolector/NativeUtils.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 /*
  * Class NativeUtils is published under the The MIT License:

src/main/java/org/jetbrains/research/boolector/TypeNode.java → src/main/java/org/vorpal/research/boolector/TypeNode.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public enum TypeNode {
     ARRAYNODE,

src/main/java/org/jetbrains/research/boolector/UninterpretedFunction.java → src/main/java/org/vorpal/research/boolector/UninterpretedFunction.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 public class UninterpretedFunction extends BoolectorFunction {
     private final String name;

src/test/java/org/jetbrains/research/boolector/BitvecSortTest.java → src/test/java/org/vorpal/research/boolector/BitvecSortTest.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import org.junit.Test;
 

src/test/java/org/jetbrains/research/boolector/BoolectorNodeTest.java → src/test/java/org/vorpal/research/boolector/BoolectorNodeTest.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import org.junit.Test;
 

src/test/java/org/jetbrains/research/boolector/FunctionDeclTest.java → src/test/java/org/vorpal/research/boolector/FunctionDeclTest.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import org.junit.Test;
 

src/test/java/org/jetbrains/research/boolector/UninterpretedFunctionTest.java → src/test/java/org/vorpal/research/boolector/UninterpretedFunctionTest.java

@@ -1,4 +1,4 @@
-package org.jetbrains.research.boolector;
+package org.vorpal.research.boolector;
 
 import org.junit.Test;