Logged In: NO

Sorry forgot to include the patch

The file involved is

RealCodeWriter.java:

Method writeClassDeclarations():

change
writer.println("\npublic class "+className+"
implements "+interfaceName+"{");

to
writer.println("\npublic class "+className+"
implements "+interfaceName+", Verifiable {");

Method writeSubClassDeclarations()

change

writer.println("\npublic class "+className+"
extends "+superclassName+"{");

to

writer.println("\npublic class "+className+"
extends "+superclassName+ " implements Verifiable {");