EscJava and JML models
I am new to Java and am using escjava2 as my static checker. I am using the Netbeans developments environment.
When I try to use objects for escjava such as JMLValueSet, escjava does not know what they are as it is running off an old spec file. I need to tell it a new spec file so it can recognise all the JML value types. Does anyone know which file it should be looking at so I can set it up.