--- old/src/share/classes/com/sun/jdi/ClassType.java	2013-02-21 17:44:49.164652071 +0000
+++ new/src/share/classes/com/sun/jdi/ClassType.java	2013-02-21 17:44:48.872652078 +0000
@@ -41,6 +41,7 @@
  * @author James McIlree
  * @since  1.3
  */
+@jdk.Supported
 public interface ClassType extends ReferenceType {
     /**
      * Gets the superclass of this class.