configure server port from a system property