Fixed MKLaunchOptions.
Added method for registering a default Java uncaught exception handler (#443)