Buggy code:
public class Options { private static final String OPTION_15 = "-1.5" ; private static final String OPTION_lazyTjp = "-XlazyTjp" ; private static final String OPTION_noWarn = "-nowarn" ; private static final String OPTION_noWarnNone = "-warn:none" ; private static final String OPTION_proceedOnError = "-proceedOnError" ; private static final String OPTION_verbose = "-verbose" ; private static final String OPTION_reweavable = "-Xreweavable" ; private static final String OPTION_noinline = "-Xnoinline" ; private static final String OPTION_hasMember = "-XhasMember" ; private static final String OPTION_pinpoint = "-Xdev:pinpoint" ; private static final String OPTION_showWeaveInfo = "-showWeaveInfo" ; private static final String OPTIONVALUED_messageHandler = "-XmessageHandlerClass:" ; private static final String OPTIONVALUED_Xlintfile = "-Xlintfile:" ; private static final String OPTIONVALUED_Xlint = "-Xlint:" ; public static Options . WeaverOption parse ( String options , ClassLoader laoder , IMessageHandler imh ) { Options . WeaverOption weaverOption = new Options . WeaverOption ( imh ) ; if ( LangUtil . isEmpty ( options ) ) { return weaverOption ; } List flags = LangUtil . anySplit ( options , "<seq2seq4repair_space>" ) ; Collections . reverse ( flags ) ; for ( Iterator iterator = flags . iterator ( ) ; iterator . hasNext ( ) ; ) { String arg = ( ( String ) ( iterator . next ( ) ) ) ; if ( arg . startsWith ( Options . OPTIONVALUED_messageHandler ) ) { if ( ( arg . length ( ) ) > ( Options . OPTIONVALUED_messageHandler . length ( ) ) ) { String handlerClass = arg . substring ( Options . OPTIONVALUED_messageHandler . length ( ) ) . trim ( ) ; try { Class handler = Class . forName ( handlerClass , false , laoder ) ; weaverOption . messageHandler = ( ( IMessageHandler ) ( handler . newInstance ( ) ) ) ; } catch ( Throwable t ) { weaverOption . messageHandler . handleMessage ( new org . aspectj . bridge . Message ( ( "Cannot<seq2seq4repair_space>instantiate<seq2seq4repair_space>message<seq2seq4repair_space>handler<seq2seq4repair_space>" + handlerClass ) , IMessage . ERROR , t , null ) ) ; } } } } for ( Iterator iterator = flags . iterator ( ) ; iterator . hasNext ( ) ; ) { String arg = ( ( String ) ( iterator . next ( ) ) ) ; if ( arg . equals ( Options . OPTION_15 ) ) { weaverOption . java5 = true ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_lazyTjp ) ) { weaverOption . lazyTjp = true ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_noinline ) ) { weaverOption . noInline = true ; } else if ( ( arg . equalsIgnoreCase ( Options . OPTION_noWarn ) ) || ( arg . equalsIgnoreCase ( Options . OPTION_noWarnNone ) ) ) { weaverOption . noWarn = true ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_proceedOnError ) ) { weaverOption . proceedOnError = true ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_reweavable ) ) { weaverOption . notReWeavable = false ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_showWeaveInfo ) ) { weaverOption . showWeaveInfo = true ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_hasMember ) ) { weaverOption . hasMember = true ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_verbose ) ) { weaverOption . verbose = true ; } else if ( arg . equalsIgnoreCase ( Options . OPTION_pinpoint ) ) { weaverOption . pinpoint = true ; } else if ( arg . startsWith ( Options . OPTIONVALUED_messageHandler ) ) { } else if ( arg . startsWith ( Options . OPTIONVALUED_Xlintfile ) ) { if ( ( arg . length ( ) ) > ( Options . OPTIONVALUED_Xlintfile . length ( ) ) ) { weaverOption . lintFile = arg . substring ( Options . OPTIONVALUED_Xlintfile . length ( ) ) . trim ( ) ; } } else if ( arg . startsWith ( Options . OPTIONVALUED_Xlint ) ) { if ( ( arg . length ( ) ) > ( Options . OPTIONVALUED_Xlint . length ( ) ) ) { weaverOption . lint = arg . substring ( Options . OPTIONVALUED_Xlint . length ( ) ) . trim ( ) ; } } else { weaverOption . messageHandler . handleMessage ( new org . aspectj . bridge . Message ( ( ( "Cannot<seq2seq4repair_space>configure<seq2seq4repair_space>weaver<seq2seq4repair_space>with<seq2seq4repair_space>option<seq2seq4repair_space>'" + arg ) + "':<seq2seq4repair_space>unknown<seq2seq4repair_space>option" ) , IMessage . WARNING , null , null ) ) ; } } if ( weaverOption . noWarn ) { weaverOption . messageHandler . dontIgnore ( WARNING ) ; } if ( weaverOption . verbose ) { <START_BUG> weaverOption . messageHandler . dontIgnore ( DEBUG ) ; <END_BUG> } if ( weaverOption . showWeaveInfo ) { weaverOption . messageHandler . dontIgnore ( WEAVEINFO ) ; } return weaverOption ; } public static class WeaverOption { boolean java5 ; boolean lazyTjp ; boolean hasMember ; boolean noWarn ; boolean proceedOnError ; boolean verbose ; boolean notReWeavable = true ; boolean noInline ; boolean showWeaveInfo ; boolean pinpoint ; IMessageHandler messageHandler ; String lint ; String lintFile ; public WeaverOption ( IMessageHandler imh ) { } } }

Fix:
weaverOption . messageHandler . dontIgnore ( INFO ) ;