mluukkai/ohtu2013 — pull request #337 by jlep (2013-09-24 15:29:55+00:00)
Title: Change jetty port from default to 8090

Change jetty port to allow integration tests to work out of the box
on users.cs.helsinki.fi