Remove empty space in version for Apache Tomcat

Since issue #557 is resolved, this hack is no longer necessary.