<BUG>stopModules();stopDatabase();</BUG><CONTEXT>return configurator.configuration().getInt(Configurator.WEBSERVER_PORT_PROPERTY_KEY, Configurator.DEFAULT_WEBSERVER_PORT);}@Overridepublic void stop() {try {<extra_id_0>stopWebServer();log.info("Successfully shutdown Neo Server on port [%d], database [%s]", getWebServerPort(), getDatabase().getLocation());} catch (Exception e) {</CONTEXT>
stopExtensionInitializers();stopDatabase();