Termination of JVM is now standardized and type confusion detection now respects opt.mode. This closes #14