Ben: passing in system properties to override the default values