jglobus/JGlobus — pull request #111 by ellert (2013-08-21 15:41:43+00:00)
Title: Make tomcat7 the default profile and rebase patches accordingly.

Make tomcat7 the default profile and rebase patches accordingly.
Fixes issue #28.