A toolkit for JVM web applications