# HG changeset patch # User twisti # Date 1382508963 25200 # Node ID 5de6526474bbd65bb4206045cfe185546a344669 # Parent c41342332b7f79a53aad600670b060d19d99ddd5 added missing @Override's diff -r c41342332b7f -r 5de6526474bb graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java --- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java Wed Oct 23 17:12:30 2013 -0700 +++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java Tue Oct 22 23:16:03 2013 -0700 @@ -1189,6 +1189,7 @@ return new Iterator() { int i = 0; + @Override public void remove() { throw new UnsupportedOperationException(); } @@ -1219,6 +1220,7 @@ return new Iterator() { int i = 0; + @Override public void remove() { throw new UnsupportedOperationException(); }