Bug 50017

Summary: Make private immutable fields final
Product: Tomcat 7 Reporter: Sebb <sebb>
Component: Servlet & JSP APIAssignee: Tomcat Developers Mailing List <dev>
Status: RESOLVED FIXED    
Severity: trivial    
Priority: P5    
Version: trunk   
Target Milestone: ---   
Hardware: PC   
OS: Windows XP   
Attachments: Patch javax.el package
Patch javax.servlet package

Description Sebb 2010-09-27 20:27:07 UTC 
Created attachment 26090 [details]
Patch javax.el package

Patches to make immutable private fields final.
Comment 1 Sebb 2010-09-27 20:28:14 UTC 
Created attachment 26091 [details]
Patch javax.servlet package
Comment 2 Mark Thomas 2010-10-08 10:16:33 UTC 
Fixed in trunk. Will be in 7.0.4 onwards.