--- old/src/share/classes/com/sun/jdi/MonitorInfo.java	2013-02-21 17:45:07.024651660 +0000
+++ new/src/share/classes/com/sun/jdi/MonitorInfo.java	2013-02-21 17:45:06.728651667 +0000
@@ -32,6 +32,7 @@
  * @since  1.6
  */
 
+@jdk.Supported
 public interface MonitorInfo extends Mirror {
 
     /**