--- old/src/share/classes/com/sun/jdi/InvalidLineNumberException.java	2013-02-21 17:44:58.444651858 +0000
+++ new/src/share/classes/com/sun/jdi/InvalidLineNumberException.java	2013-02-21 17:44:58.148651864 +0000
@@ -34,6 +34,7 @@
  * @author Gordon Hirsch
  * @since  1.3
  */
+@jdk.Supported
 @Deprecated
 public class InvalidLineNumberException extends RuntimeException {
     private static final long serialVersionUID = 4048709912372692875L;