Back to jetty 9.1.2, because of bug in jetty
Merge branch 'master' of https://github.com/opensourceBIM/BIMserver.git