Make JWS launcher Java 1.4 compatible