New option in the launcher to reset launcher-options (and to rescan available JDK's)
Removed the "Extrude3D"-random-generator and created two (more specialized) random-generators "Brokat3D" and "Gnarl3D"
NEW RELEASE 1.10