my changes in JavaLaTeX