https hosted mode crash under linux

[Filipe Sousa]

$ java -cp /opt/google-web-toolkit-1.4/gwt-dev-linux.jar
com.google.gwt.dev.GWTShell -noserver https://localhost:8181/

#
# An unexpected error has been detected by Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x42acfa00, pid=21362, tid=1862192016
#
# Java VM: Java HotSpot(TM) Server VM (10.0-b23 mixed mode linux-x86)
# Problematic frame:
# C [libpthread.so.0+0x7a00] pthread_mutex_lock+0x20
#
# An error report file with more information is saved as:
# /home/fsousa/projects/guia-ects/hs_err_pid21362.log
#
# If you would like to submit a bug report, please visit:
# http://java.sun.com/webapps/bugreport/crash.jsp
#
Aborted (core dumped)

It doesn't crash with
$ java -cp /opt/google-web-toolkit-1.4/gwt-dev-linux.jar
com.google.gwt.dev.GWTShell -noserver http://localhost:8080/

$ java -version
java version "1.5.0_16"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0_16-b02)
Java HotSpot(TM) Server VM (build 1.5.0_16-b02, mixed mode)

I'm using Google Web Toolkit 1.4.62

Thanks
Filipe Sousa