--- old/src/share/classes/com/sun/jdi/ClassNotLoadedException.java	2013-02-21 17:44:47.024652120 +0000
+++ new/src/share/classes/com/sun/jdi/ClassNotLoadedException.java	2013-02-21 17:44:46.732652127 +0000
@@ -67,6 +67,7 @@
  * @author Gordon Hirsch
  * @since  1.3
  */
+@jdk.Supported
 public class ClassNotLoadedException extends Exception
 {
     private static final long serialVersionUID = -6242978768444298722L;