https://issues.apache.org/bugzilla/show_bug.cgi?id=48498
--- Comment #5 from Mark Thomas <ma...@apache.org> 2010-02-16 00:48:14 UTC --- As much as it pains me to have to add a workaround in Tomcat for a Java bug you have a fair point that hiding the compilation error is a nasty side-effect. Workaround added to 7.0.x and proposed for 6.0.x -- Configure bugmail: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
