A DeepaMehta 4 plugin: server-side HTML generation based on the Thymeleaf template engine