Have to at least not use port 8080, because it's in use :(

This isn't really a great solution, as it doesn't guarantee that the
port won't be in use at the time the server is started....