Buggy code:
public class JBossAsManagedConfiguration extends CommonContainerConfiguration { public static JBossAsManagedConfiguration createFromClassLoaderResources ( String domainConfigPath , String hostConfigPath ) { } public static String loadConfigFileFromContextClassLoader ( String resourcePath ) { } private static URI toURI ( URL url ) { } private String jbossHome = System . getProperty ( "jboss.home" ) ; private String javaHome = System . getenv ( "JAVA_HOME" ) ; private String controllerJavaHome = System . getenv ( "JAVA_HOME" ) ; private String modulePath = System . getProperty ( "module.path" ) ; private String javaVmArguments = System . getProperty ( "server.jvm.args" , "-Xmx512m<seq2seq4repair_space>-XX:MaxPermSize=128m" ) ; private int startupTimeoutInSeconds = TimeoutUtil . adjust ( 120 ) ; private boolean outputToConsole = true ; private String hostControllerManagementProtocol = "remote" ; private String hostControllerManagementAddress = System . getProperty ( "jboss.test.host.master.address" , "localhost" ) ; private int hostControllerManagementPort = 9999 ; private String hostName = "master" ; private String domainDir ; private String domainConfigFile ; private String hostConfigFile ; private String hostCommandLineProperties ; private boolean adminOnly ; private boolean readOnlyDomain ; private boolean readOnlyHost ; private CallbackHandler callbackHandler = Authentication . getCallbackHandler ( ) ; private String mgmtUsersFile ; private String mgmtGroupsFile ; public JBossAsManagedConfiguration ( String jbossHome ) { } public JBossAsManagedConfiguration ( ) { } @ Override public void validate ( ) throws ConfigurationException { super . validate ( ) ; Validate . configurationDirectoryExists ( jbossHome , ( "jbossHome<seq2seq4repair_space>must<seq2seq4repair_space>exist<seq2seq4repair_space>at<seq2seq4repair_space>" + ( jbossHome ) ) ) ; if ( ( javaHome ) != null ) { Validate . configurationDirectoryExists ( javaHome , ( "javaHome<seq2seq4repair_space>must<seq2seq4repair_space>exist<seq2seq4repair_space>at<seq2seq4repair_space>" + ( javaHome ) ) ) ; } if ( ( controllerJavaHome ) != null ) { <START_BUG> Validate . configurationDirectoryExists ( javaHome , ( "controllerJavaHome<seq2seq4repair_space>must<seq2seq4repair_space>exist<seq2seq4repair_space>at<seq2seq4repair_space>" + ( controllerJavaHome ) ) ) ; <END_BUG> } } public String getJbossHome ( ) { } public void setJbossHome ( String jbossHome ) { } public String getJavaHome ( ) { } public void setJavaHome ( String javaHome ) { } public String getControllerJavaHome ( ) { } public void setControllerJavaHome ( String controllerJavaHome ) { } public String getJavaVmArguments ( ) { } public void setJavaVmArguments ( String javaVmArguments ) { } public void setStartupTimeoutInSeconds ( int startupTimeoutInSeconds ) { } public int getStartupTimeoutInSeconds ( ) { } public void setOutputToConsole ( boolean outputToConsole ) { } public boolean isOutputToConsole ( ) { } public String getHostControllerManagementProtocol ( ) { } public void setHostControllerManagementProtocol ( String hostControllerManagementProtocol ) { } public String getHostControllerManagementAddress ( ) { } public void setHostControllerManagementAddress ( String hostControllerManagementAddress ) { } public int getHostControllerManagementPort ( ) { } public void setHostControllerManagementPort ( int hostControllerManagementPort ) { } public String getDomainDirectory ( ) { } public void setDomainDirectory ( String domainDir ) { } public String getDomainConfigFile ( ) { } public void setDomainConfigFile ( String domainConfigFile ) { } public String getHostConfigFile ( ) { } public void setHostConfigFile ( String hostConfigFile ) { } public String getMgmtUsersFile ( ) { } public void setMgmtUsersFile ( String mgmtUsersFile ) { } public String getMgmtGroupsFile ( ) { } public void setMgmtGroupsFile ( String mgmtGroupsFile ) { } public String getHostCommandLineProperties ( ) { } public void setHostCommandLineProperties ( String hostCommandLineProperties ) { } public String getHostName ( ) { } public void setHostName ( String hostName ) { } public String getModulePath ( ) { } public void setModulePath ( final String modulePath ) { } public boolean isAdminOnly ( ) { } public void setAdminOnly ( boolean adminOnly ) { } public boolean isReadOnlyDomain ( ) { } public void setReadOnlyDomain ( boolean readOnlyDomain ) { } public boolean isReadOnlyHost ( ) { } public void setReadOnlyHost ( boolean readOnlyHost ) { } public CallbackHandler getCallbackHandler ( ) { } public void setCallbackHandler ( CallbackHandler callbackHandler ) { } }

Fix:
Validate . configurationDirectoryExists ( controllerJavaHome , ( "controllerJavaHome<seq2seq4repair_space>must<seq2seq4repair_space>exist<seq2seq4repair_space>at<seq2seq4repair_space>" + ( controllerJavaHome ) ) ) ;