String WHITEBOARD_PATTERN_PROP = "osgi.http.whiteboard.servlet.pattern";
// default Jetty server configured via JettyConfigurator
String DEFAULT_JETTY_SERVER = "default";
String WHITEBOARD_PATTERN_PROP = "osgi.http.whiteboard.servlet.pattern";
// default Jetty server configured via JettyConfigurator
String DEFAULT_JETTY_SERVER = "default";