Nick Battle

Pushed this to development... haven't tried it :-) ``` /** * Set the instance error stream to be something other than System.err. */ public ClassMapper setErrStream(PrintStream err) { errorStream =...

Ah :( Sounds like we need an overloaded getInstance in that case. Sorry. Will fix, but in meeting at the moment...

Okay, I've added a PrintStream argument to getInstance (and the constructor within that). But the default getInstance() will use System.err as before. Does this do what you need (I've not...

Okay, I've deployed a new 4.5.0-SNAPSHOT to both Maven Central and to the GitHub repository. I'll let you know when I deploy new snapshots or make a release - we're...

I've just pushed another snapshot of VDMJ to Maven Central to get over a build problem with the FMI-VDM-Model. I've created a new `@DocLink` annotation which I'm using in the...

Just pushed another small tweak. `OnFailError` now contains a list of doclinks, and the text of the links can be retrieved with `getDocLinks`. They're just strings, but one would expect...

Yeah, there's a lot of interlinked things going on here. I've tried to keep the old MaestroCheck in place and working, but I need to write a new version of...

I think we can close this now.

@CThuleHansen I don't know the background to this one, but if you change the hashCode for a type, you have to be sure that the various Java contracts are honoured,...

What sort of Map are you using? It makes a difference: if you're using TreeMaps, then the compareTo method contract must be respected; if you're using HashMap, then the equals/hashCode...