HTML encoder server-side Java application.