the tomcat version in 6.2 ga5 sdk is not the same as portal bundle's tomcat version

• Type: Bug
• Status: Open
• Resolution: Unresolved
• Affects Version/s: 6.2.4 CE GA5
• Fix Version/s: None
• Component/s: Dev Tools, Dev Tools > Plugins SDK
• Labels: None

open the build.properties in 62 ga5 sdk , and find the line,
app.server.tomcat.dir=${app.server.parent.dir}/tomcat-7.0.62

but tomcat version in portal 62 ga5 is tomcat-7.0.42.