Gametool WebStarter parameters for java.