bug reproduction for java web start