--- old/src/jdk/nashorn/internal/runtime/ECMAException.java	2013-12-02 17:15:08.817766239 +0530
+++ new/src/jdk/nashorn/internal/runtime/ECMAException.java	2013-12-02 17:15:08.697765649 +0530
@@ -88,6 +88,7 @@
      * Get the thrown object
      * @return thrown object
      */
+    @Override
     public Object getThrown() {
         return thrown;
     }