rearrange organization of files

Author: CatarinaGamboa

liquidjava-example/src/main/java/bufferedreader/TrafficLight.java

@@ -6,7 +6,7 @@ class SimpleTest {
 
   @Refinement("return > 0")
   public int test() {
-    return 10;
+    return -10;
   }
 }
 

liquidjava-example/src/main/java/test/project/SimpleTest.java

@@ -1,4 +1,4 @@
-package bufferedreader;
+package testingInProgress;
 
 import liquidjava.specification.Ghost;
 import liquidjava.specification.Refinement;

…rc/main/java/bufferedreader/Account.java …main/java/testingInProgress/Account.javaliquidjava-example/src/main/java/bufferedreader/Account.java renamed to liquidjava-example/src/main/java/testingInProgress/Account.java liquidjava-example/src/main/java/bufferedreader/Account.java renamed to liquidjava-example/src/main/java/testingInProgress/Account.java

@@ -1,4 +1,4 @@
-package bufferedreader;
+package testingInProgress;
 
 import liquidjava.specification.ExternalRefinementsFor;
 import liquidjava.specification.Refinement;

…bufferedreader/ArrayListRefinements.java …tingInProgress/ArrayListRefinements.javaliquidjava-example/src/main/java/bufferedreader/ArrayListRefinements.java renamed to liquidjava-example/src/main/java/testingInProgress/ArrayListRefinements.java liquidjava-example/src/main/java/bufferedreader/ArrayListRefinements.java renamed to liquidjava-example/src/main/java/testingInProgress/ArrayListRefinements.java

@@ -1,3 +1,4 @@
+package testingInProgress;
 import liquidjava.specification.Refinement;
 import liquidjava.specification.RefinementAlias;
 

liquidjava-example/src/main/java/Car.java …src/main/java/testingInProgress/Car.javaliquidjava-example/src/main/java/Car.java renamed to liquidjava-example/src/main/java/testingInProgress/Car.java liquidjava-example/src/main/java/Car.java renamed to liquidjava-example/src/main/java/testingInProgress/Car.java

@@ -1,3 +1,4 @@
+package testingInProgress;
 import java.util.ArrayList;
 import java.util.List;
 import liquidjava.specification.RefinementPredicate;

…uidjava-example/src/main/java/Email.java …c/main/java/testingInProgress/Email.javaliquidjava-example/src/main/java/Email.java renamed to liquidjava-example/src/main/java/testingInProgress/Email.java liquidjava-example/src/main/java/Email.java renamed to liquidjava-example/src/main/java/testingInProgress/Email.java

@@ -1,3 +1,4 @@
+package testingInProgress;
 import java.io.InputStream;
 import liquidjava.specification.ExternalRefinementsFor;
 import liquidjava.specification.Refinement;

…n/java/InputStreamReaderRefinements.java …ogress/InputStreamReaderRefinements.javaliquidjava-example/src/main/java/InputStreamReaderRefinements.java renamed to liquidjava-example/src/main/java/testingInProgress/InputStreamReaderRefinements.java liquidjava-example/src/main/java/InputStreamReaderRefinements.java renamed to liquidjava-example/src/main/java/testingInProgress/InputStreamReaderRefinements.java

@@ -1,3 +1,4 @@
+package testingInProgress;
 import java.util.ArrayList;
 import liquidjava.specification.Refinement;
 

…idjava-example/src/main/java/MyList.java …/main/java/testingInProgress/MyList.javaliquidjava-example/src/main/java/MyList.java renamed to liquidjava-example/src/main/java/testingInProgress/MyList.java liquidjava-example/src/main/java/MyList.java renamed to liquidjava-example/src/main/java/testingInProgress/MyList.java

@@ -1,4 +1,4 @@
-package bufferedreader;
+package testingInProgress;
 
 import liquidjava.specification.Ghost;
 import liquidjava.specification.Refinement;

…/src/main/java/bufferedreader/Order.java …c/main/java/testingInProgress/Order.javaliquidjava-example/src/main/java/bufferedreader/Order.java renamed to liquidjava-example/src/main/java/testingInProgress/Order.java liquidjava-example/src/main/java/bufferedreader/Order.java renamed to liquidjava-example/src/main/java/testingInProgress/Order.java

@@ -1,4 +1,4 @@
-package bufferedreader;
+package testingInProgress;
 
 import liquidjava.specification.RefinementPredicate;
 import liquidjava.specification.StateRefinement;