Fix release builds of Eclipse.

It appears that Eclipse runs with a lower JVM compatibility even with a Java 7 JRE. In that instance, the @Override on an interface function causes the Toplevel to not accept any input (due to an exception being raised)