Java 7 doc fixes

JVM and Performance page fixes that were referencing Java 6. 

I'd wrap "tomcat7" in code so it's more obvious why it's not capitalized. Also, isn't it just called tomcat, not tomcat7? I forget offhand.