Fix of the generation of MakeOPTIweb.jar