Hans,
About the crash you reported in version 4.2, could you check whether it happens with the installer version 4.1? I suspect you didn't encounter this bug before the release of version 4.2, because you were running the Beta with Java 7 and not with Java 6 as does the installer version.