Changed port to an uncommon port

The 8080 port is commonly used by many webservers, notably tomcat & jetty. Using this port by default might be problematic for many people. Hence I've changed the default port to 8474, which is not a commonly used port.

IMHO, I feel that this will give a better user experience when you have multiple servers running on your system.