Buggy code:
public class SATFCFacadeExecutor { public static void main ( String [ ] args ) { SATFCFacadeParameters parameters = new SATFCFacadeParameters ( ) ; Logger log = SATFCFacadeExecutor . parseParameter ( args , parameters ) ; SATFCFacadeExecutor . logVersionInfo ( log ) ; try { log . info ( "Initializing<seq2seq4repair_space>facade." ) ; SATFCFacadeBuilder satfcBuilder = new SATFCFacadeBuilder ( ) ; SATFCFacade satfc = satfcBuilder . buildFromParameters ( parameters ) ; IProblemGenerator problemGenerator = ProblemGeneratorFactory . createFromParameters ( parameters ) ; SATFCFacadeProblem problem ; while ( ( problem = problemGenerator . getNextProblem ( ) ) != null ) { SATFCMetrics . postEvent ( new SATFCMetrics . NewStationPackingInstanceEvent ( problem . getStationsToPack ( ) , problem . getInstanceName ( ) ) ) ; log . info ( "Beginning<seq2seq4repair_space>problem<seq2seq4repair_space>{}" , problem . getInstanceName ( ) ) ; log . info ( "Solving<seq2seq4repair_space>..." ) ; SATFCResult result = satfc . solve ( problem . getStationsToPack ( ) , problem . getChannelsToPackOn ( ) , problem . getDomains ( ) , problem . getPreviousAssignment ( ) , parameters . fInstanceParameters . Cutoff , parameters . fInstanceParameters . Seed , problem . getStationConfigFolder ( ) , problem . getInstanceName ( ) ) ; log . info ( "..done!" ) ; System . out . println ( result . getResult ( ) ) ; System . out . println ( result . getRuntime ( ) ) ; System . out . println ( result . getWitnessAssignment ( ) ) ; SATFCMetrics . postEvent ( new SATFCMetrics . InstanceSolvedEvent ( problem . getInstanceName ( ) , result . getResult ( ) , result . getRuntime ( ) ) ) ; problemGenerator . onPostProblem ( problem , result ) ; } log . info ( "Finished<seq2seq4repair_space>all<seq2seq4repair_space>of<seq2seq4repair_space>the<seq2seq4repair_space>problems!" ) ; problemGenerator . onFinishedAllProblems ( ) ; } catch ( ParameterException e ) { log . error ( "Invalid<seq2seq4repair_space>parameter<seq2seq4repair_space>argument<seq2seq4repair_space>detected<seq2seq4repair_space>({})." , e . getMessage ( ) ) ; e . printStackTrace ( ) ; System . exit ( PARAMETER_EXCEPTION ) ; } catch ( RuntimeException e ) { log . error ( "Runtime<seq2seq4repair_space>exception<seq2seq4repair_space>encountered<seq2seq4repair_space>({})" , e . getMessage ( ) ) ; e . printStackTrace ( ) ; System . exit ( UNCAUGHT_EXCEPTION ) ; } catch ( UnsatisfiedLinkError e ) { <START_BUG> log . error ( "Couldn't<seq2seq4repair_space>initialize<seq2seq4repair_space>facade,<seq2seq4repair_space>see<seq2seq4repair_space>previous<seq2seq4repair_space>log<seq2seq4repair_space>messages<seq2seq4repair_space>and//or<seq2seq4repair_space>try<seq2seq4repair_space>logging<seq2seq4repair_space>with<seq2seq4repair_space>DEBUG." ) ; <END_BUG> System . exit ( UNCAUGHT_EXCEPTION ) ; } catch ( Throwable t ) { log . error ( "Throwable<seq2seq4repair_space>encountered<seq2seq4repair_space>({})" , t . getMessage ( ) ) ; t . printStackTrace ( ) ; System . exit ( UNCAUGHT_EXCEPTION ) ; } } private static Logger parseParameter ( String [ ] args , SATFCFacadeParameters parameters ) { } private static void logVersionInfo ( Logger log ) { } No newline ; at end ; of file ; }

Fix:
log . error ( "Couldn't<seq2seq4repair_space>initialize<seq2seq4repair_space>facade,<seq2seq4repair_space>see<seq2seq4repair_space>previous<seq2seq4repair_space>log<seq2seq4repair_space>messages<seq2seq4repair_space>and//or<seq2seq4repair_space>try<seq2seq4repair_space>logging<seq2seq4repair_space>with<seq2seq4repair_space>DEBUG." , e ) ;