fix JOSM bug #10513

workaround for incompatibility with Java 7 / webstart