markrtuttle
diff --git a/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.class‎
-185 Bytes b/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.class‎
-185 Bytes
diff --git a/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.class‎
-187 Bytes b/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.class‎
-187 Bytes
diff --git a/‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.class‎
184 Bytes b/‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.class‎
184 Bytes
diff --git a/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.java‎ renamed to ‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java‎
Lines changed: 1 addition & 1 deletion b/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.java‎ renamed to ‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.class‎
186 Bytes b/‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.class‎
186 Bytes
diff --git a/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.java‎ renamed to ‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java‎
Lines changed: 1 addition & 1 deletion b/‎jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.java‎ renamed to ‎jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎jbmc/regression/jbmc/overlay-class/correct-overlay/Test.class‎
100 Bytes b/‎jbmc/regression/jbmc/overlay-class/correct-overlay/Test.class‎
100 Bytes
diff --git a/‎jbmc/regression/jbmc/overlay-class/correct-overlay/Test.java‎
Lines changed: 2 additions & 2 deletions b/‎jbmc/regression/jbmc/overlay-class/correct-overlay/Test.java‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎jbmc/regression/jbmc/overlay-class/unmarked-overlay/Test.class‎
101 Bytes b/‎jbmc/regression/jbmc/overlay-class/unmarked-overlay/Test.class‎
101 Bytes
diff --git a/‎jbmc/regression/jbmc/overlay-class/unmarked-overlay/Test.java‎
Lines changed: 2 additions & 2 deletions b/‎jbmc/regression/jbmc/overlay-class/unmarked-overlay/Test.java‎
Lines changed: 2 additions & 2 deletions
@@ -1,4 +1,4 @@
-package com.diffblue;
+package org.cprover;
 
 public @interface OverlayClassImplementation {
 }
@@ -1,4 +1,4 @@
-package com.diffblue;
+package org.cprover;
 
 public @interface OverlayMethodImplementation {
 }
@@ -1,5 +1,5 @@
-import com.diffblue.OverlayClassImplementation;
-import com.diffblue.OverlayMethodImplementation;
+import org.cprover.OverlayClassImplementation;
+import org.cprover.OverlayMethodImplementation;
 
 @OverlayClassImplementation
 public class Test
 
@@ -1,5 +1,5 @@
-import com.diffblue.OverlayClassImplementation;
-import com.diffblue.OverlayMethodImplementation;
+import org.cprover.OverlayClassImplementation;
+import org.cprover.OverlayMethodImplementation;
 
 public class Test
 {
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-package com.diffblue;`
	`1`	`+package org.cprover;`
`2`	`2`
`3`	`3`	`public @interface OverlayClassImplementation {`
`4`	`4`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`		`-import com.diffblue.OverlayClassImplementation;`
`2`		`-import com.diffblue.OverlayMethodImplementation;`
	`1`	`+import org.cprover.OverlayClassImplementation;`
	`2`	`+import org.cprover.OverlayMethodImplementation;`
`3`	`3`
`4`	`4`	`public class Test`
`5`	`5`	`{`