Bugfixes and tweaks in Servlets and JSPs