Experiments with Spring MVC's server-side error handling