webstart fix #1