more folder name changes to be more explicit

Author: CatarinaGamboa

…/src/main/java/test/project/Account.java …/java/test/currentlyTesting/Account.javaliquidjava-example/src/main/java/test/project/Account.java renamed to liquidjava-example/src/main/java/test/currentlyTesting/Account.java liquidjava-example/src/main/java/test/project/Account.java renamed to liquidjava-example/src/main/java/test/currentlyTesting/Account.java

@@ -1,4 +1,4 @@
-package test.project;
+package test.currentlyTesting;
 
 // import liquidjava.specification.Ghost;
 // import liquidjava.specification.StateRefinement;

…ain/java/test/project/AccountClient.java …test/currentlyTesting/AccountClient.javaliquidjava-example/src/main/java/test/project/AccountClient.java renamed to liquidjava-example/src/main/java/test/currentlyTesting/AccountClient.java liquidjava-example/src/main/java/test/project/AccountClient.java renamed to liquidjava-example/src/main/java/test/currentlyTesting/AccountClient.java

@@ -1,4 +1,4 @@
-package test.project;
+package test.currentlyTesting;
 
 // @StateSet({"active", "inactive"})
 public class AccountClient {

…c/main/java/test/project/SimpleTest.java …va/test/currentlyTesting/SimpleTest.javaliquidjava-example/src/main/java/test/project/SimpleTest.java renamed to liquidjava-example/src/main/java/test/currentlyTesting/SimpleTest.java liquidjava-example/src/main/java/test/project/SimpleTest.java renamed to liquidjava-example/src/main/java/test/currentlyTesting/SimpleTest.java

@@ -1,12 +1,12 @@
-package test.project;
+package test.currentlyTesting;
 
 import liquidjava.specification.Refinement;
 
 class SimpleTest {
 
   @Refinement("return > 0")
   public int test() {
-    return -10;
+    return 10;
   }
 }