Removed extraneous character from the online documentation
Merge pull request #432 from kryger/master

* pull432:
  Removed extraneous character from the online documentation
Upgrade to Tomcat 8 RC10 and remove unused repos