fixes based on review comments

Get port for Jetty server as a named parameter
Change named parameter type for port as Integer
Expose put/get method for ReefEventStateManager