--- old/src/share/classes/com/sun/jdi/Value.java	2013-02-21 17:45:21.332651331 +0000
+++ new/src/share/classes/com/sun/jdi/Value.java	2013-02-21 17:45:21.040651338 +0000
@@ -168,8 +168,8 @@
  * @since  1.3
  */
 
-public interface Value extends Mirror
-{
+@jdk.Supported
+public interface Value extends Mirror {
     /**
      * Returns the run-time type of this value.
      *