A tex parser platform implemented by JSP