--- old/test/java/lang/Class/Cast.java	2009-12-03 16:44:53.000000000 -0800
+++ new/test/java/lang/Class/Cast.java	2009-12-03 16:44:53.000000000 -0800
@@ -25,9 +25,6 @@
  * @test
  * @bug 4881275
  * @summary (reflect) Class.cast() - typesafe cast desired
- *
- * @compile -source 1.5 Cast.java
- * @run main Cast
  */
 
 public class Cast {