Workaround in GWT for uncaughtexceptionhandler