log.info("Successfully shutdown Neo Server on port [%d], database [%s]", getWebServerPort(), getDatabase().getLocation());
} catch (Exception e) {
log.warn("Failed to cleanly shutdown Neo Server on port [%d], database [%s]. Reason: %s", getWebServerPort(), getDatabase().getLocation(),
e.getMessage());
}
<BUG>}
private void stopWebServer() {</BUG>
if (webServer != null) {
webServer.stop();
}

log.info("Successfully shutdown Neo Server on port [%d], database [%s]", getWebServerPort(), getDatabase().getLocation());
} catch (Exception e) {
log.warn("Failed to cleanly shutdown Neo Server on port [%d], database [%s]. Reason: %s", getWebServerPort(), getDatabase().getLocation(),
e.getMessage());
}
}
private void stopExtensionInitializers()
{
extensionInitializer.stop(  );
}
private void stopWebServer() {
if (webServer != null) {
webServer.stop();
