HTML Try It Your Self Editor with Java backend