Buggy code:
@ Deprecated public static final String MODULES_DIR = "jboss.modules.dir" ; public static final String BUNDLES_DIR = "jboss.bundles.dir" ; public static final String VFS_MODULE_IDENTIFIER = "org.jboss.vfs" ; public static final String SERVER_BASE_DIR = "jboss.server.base.dir" ; public static final String SERVER_CONFIG_DIR = "jboss.server.config.dir" ; public static final String SERVER_DATA_DIR = "jboss.server.data.dir" ; public static final String SERVER_CONTENT_DIR = "jboss.server.content.dir" ; @ Deprecated public static final String SERVER_DEPLOY_DIR = "jboss.server.deploy.dir" ; public static final String SERVER_LOG_DIR = "jboss.server.log.dir" ; public static final String SERVER_TEMP_DIR = "jboss.server.temp.dir" ; public static final String CONTROLLER_TEMP_DIR = "jboss.controller.temp.dir" ; public static final String NODE_NAME = "jboss.node.name" ; public static final String SERVER_NAME = "jboss.server.name" ; public static final String HOST_NAME = "jboss.host.name" ; public static final String QUALIFIED_HOST_NAME = "jboss.qualified.host.name" ; public static final String BOOTSTRAP_MAX_THREADS = "org.jboss.server.bootstrap.maxThreads" ; public static final String JBOSS_BIND_ADDRESS = "jboss.bind.address" ; public static final String JBOSS_BIND_ADDRESS_PREFIX = ( ServerEnvironment . JBOSS_BIND_ADDRESS ) + "." ; public static final String JBOSS_DEFAULT_MULTICAST_ADDRESS = "jboss.default.multicast.address" ; public static final String JBOSS_SERVER_DEFAULT_CONFIG = "jboss.server.default.config" ; protected static final String DOMAIN_BASE_DIR = "jboss.domain.base.dir" ; protected static final String DOMAIN_CONFIG_DIR = "jboss.domain.config.dir" ; private static final Set < String > ILLEGAL_PROPERTIES = new HashSet < String > ( Arrays . asList ( ServerEnvironment . DOMAIN_BASE_DIR , ServerEnvironment . DOMAIN_CONFIG_DIR , ServerEnvironment . JAVA_EXT_DIRS , ServerEnvironment . HOME_DIR , "modules.path" , ServerEnvironment . SERVER_BASE_DIR , ServerEnvironment . SERVER_CONFIG_DIR , ServerEnvironment . SERVER_DATA_DIR , ServerEnvironment . SERVER_DEPLOY_DIR , ServerEnvironment . SERVER_LOG_DIR , ServerEnvironment . BOOTSTRAP_MAX_THREADS , ServerEnvironment . CONTROLLER_TEMP_DIR , ServerEnvironment . JBOSS_SERVER_DEFAULT_CONFIG ) ) ; private static final Set < String > BOOT_PROPERTIES = new HashSet < String > ( Arrays . asList ( ServerEnvironment . BUNDLES_DIR , ServerEnvironment . SERVER_TEMP_DIR , ServerEnvironment . NODE_NAME , ServerEnvironment . SERVER_NAME , ServerEnvironment . HOST_NAME , ServerEnvironment . QUALIFIED_HOST_NAME ) ) ; private final Properties primordialProperties ; private final Properties providedProperties ; private volatile boolean processNameSet ; private final ServerEnvironment . LaunchType launchType ; private final String hostControllerName ; private volatile String qualifiedHostName ; private volatile String hostName ; private volatile String serverName ; private volatile String nodeName ; private final File [ ] javaExtDirs ; private final File homeDir ; private final File modulesDir ; private final File serverBaseDir ; private final File serverConfigurationDir ; private final ConfigurationFile serverConfigurationFile ; private final File serverLogDir ; private final File controllerTempDir ; private volatile File serverDataDir ; private volatile File serverContentDir ; private volatile File serverTempDir ; private volatile File bundlesDir ; private final File domainBaseDir ; private final File domainConfigurationDir ; private final boolean standalone ; private final boolean allowModelControllerExecutor ; private final RunningMode initialRunningMode ; private final ProductConfig productConfig ; public ServerEnvironment ( final String hostControllerName , final Properties props , final Map < String , String > env , final String serverConfig , final ServerEnvironment . LaunchType launchType , final RunningMode initialRunningMode , ProductConfig productConfig ) { } private static void copyProperties ( Properties src , Properties dest ) { } @ SuppressWarnings ( "deprecation" ) void install ( ) { } void resetProvidedProperties ( ) { } public String getHostControllerName ( ) { } public String getServerName ( ) { } private void configureServerName ( String serverName , Properties providedProperties ) { } public String getQualifiedHostName ( ) { } private void configureQualifiedHostName ( String qualifiedHostName , String providedHostName , Properties providedProperties , Map < String , String > env ) { } public String getHostName ( ) { } private void configureHostName ( String hostName , Properties providedProperties ) { } public String getNodeName ( ) { } private void configureNodeName ( String nodeName , Properties providedProperties ) { } public File [ ] getJavaExtDirs ( ) { } public File getHomeDir ( ) { } @ Deprecated public File getModulesDir ( ) { } public File getBundlesDir ( ) { } private void configureBundlesDir ( String dirPath , Properties providedProperties ) { } public File getServerBaseDir ( ) { } public File getServerConfigurationDir ( ) { } public ConfigurationFile getServerConfigurationFile ( ) { } public File getServerDataDir ( ) { } public File getServerContentDir ( ) { } @ Deprecated public File getServerDeployDir ( ) { } public File getServerLogDir ( ) { } public File getServerTempDir ( ) { } private File configureServerTempDir ( String path , Properties providedProps ) { } File getControllerTempDir ( ) { } public File getDomainBaseDir ( ) { } public File getDomainConfigurationDir ( ) { } public ServerEnvironment . LaunchType getLaunchType ( ) { } public boolean isStandalone ( ) { } public RunningMode getInitialRunningMode ( ) { } boolean isAllowModelControllerExecutor ( ) { } public ProductConfig getProductConfig ( ) { } public static int getBootstrapMaxThreads ( ) { } @ Override protected String getProcessName ( ) { } @ Override protected void setProcessName ( String processName ) { } @ Override protected boolean isRuntimeSystemPropertyUpdateAllowed ( String propertyName , String propertyValue , boolean bootTime ) throws OperationFailedException { } @ Override protected void systemPropertyUpdated ( String propertyName , String propertyValue ) { } private File getFileFromProperty ( final String name , final Properties props ) { } private File getFileFromPath ( final String path ) { } private static final File [ ] NO_FILES = new File [ 0 ] ; private File [ ] getFilesFromProperty ( final String name , final Properties props ) { <START_BUG> String sep = props . getProperty ( "path.separator" ) ; <END_BUG> String value = props . getProperty ( name , null ) ; if ( value != null ) { final String [ ] paths = value . split ( Pattern . quote ( sep ) ) ; final int len = paths . length ; final File [ ] files = new File [ len ] ; for ( int i = 0 ; i < len ; i ++ ) { files [ i ] = new File ( paths [ i ] ) ; } return files ; } return ServerEnvironment . NO_FILES ; } }

Fix:
String sep = SecurityActions . getSystemProperty ( "path.separator" ) ;