Change package to org.cprover for three classes

Change from com.diffblue to org.cprover for IgnoredMethodImplementation,
OverlayClassImplementation and OverlayMethodImplementation.

Author: Owen

jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.class

@@ -1,4 +1,4 @@
-package com.diffblue;
+package org.cprover;
 
 public @interface OverlayClassImplementation {
 }

jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.class

@@ -1,4 +1,4 @@
-package com.diffblue;
+package org.cprover;
 
 public @interface OverlayMethodImplementation {
 }

jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.class

@@ -1,5 +1,5 @@
-import com.diffblue.OverlayClassImplementation;
-import com.diffblue.OverlayMethodImplementation;
+import org.cprover.OverlayClassImplementation;
+import org.cprover.OverlayMethodImplementation;
 
 @OverlayClassImplementation
 public class Test

jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayClassImplementation.java renamed to jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayClassImplementation.java

@@ -1,5 +1,5 @@
-import com.diffblue.OverlayClassImplementation;
-import com.diffblue.OverlayMethodImplementation;
+import org.cprover.OverlayClassImplementation;
+import org.cprover.OverlayMethodImplementation;
 
 public class Test
 {

jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.class

@@ -53,10 +53,10 @@ class java_bytecode_convert_classt:public messaget
   /// \remarks
   ///   Allows multiple definitions of the same class to appear on the
   ///   classpath, so long as all but the first definition are marked with the
-  ///   attribute `\@java::com.diffblue.OverlayClassImplementation`.
+  ///   attribute `\@java::org.cprover.OverlayClassImplementation`.
   ///   Overlay class definitions can contain methods with the same signature
   ///   as methods in the original class, so long as these are marked with the
-  ///   attribute `\@java::com.diffblue.OverlayMethodImplementation`; such
+  ///   attribute `\@java::org.cprover.OverlayMethodImplementation`; such
   ///   overlay methods are replaced in the original file with the version
   ///   found in the last overlay on the classpath. Later definitions can
   ///   also contain new supporting methods and fields that are merged in.

jbmc/regression/jbmc/overlay-class/annotations/com/diffblue/OverlayMethodImplementation.java renamed to jbmc/regression/jbmc/overlay-class/annotations/org/cprover/OverlayMethodImplementation.java

@@ -88,7 +88,7 @@ static bool is_overlay_class(const java_bytecode_parse_treet::classt &c)
 /// \remarks
 ///   Allows multiple definitions of the same class to appear on the
 ///   classpath, so long as all but the first definition are marked with the
-///   attribute `\@java::com.diffblue.OverlayClassImplementation`.
+///   attribute `\@java::org.cprover.OverlayClassImplementation`.
 java_class_loadert::parse_tree_with_overlayst &
 java_class_loadert::get_parse_tree(
   java_class_loader_limitt &class_loader_limit,