--- old/src/share/classes/com/sun/jdi/InternalException.java	2013-02-21 17:44:57.020651890 +0000
+++ new/src/share/classes/com/sun/jdi/InternalException.java	2013-02-21 17:44:56.728651897 +0000
@@ -32,6 +32,7 @@
  * @author Gordon Hirsch
  * @since  1.3
  */
+@jdk.Supported
 public class InternalException extends RuntimeException {
      private static final long serialVersionUID = -9171606393104480607L;
      private int errorCode;