4.2.4

This is a maintainance release

  • Updated the windows launcher (should no longer cause trouble on 64 bit windows with 32 bit Java)
  • Added a few clarifications in the gui.