private void addPreferenceOptions(final List<String> opts,IPreferenceStore store){
  String argStr=store.getString(CheckerPreferences.PREF_CHECKER_ARGS);
  List<OptionLine> optionlines=OptionLine.parseOptions(argStr);
  for (  final OptionLine optLine : optionlines) {
    if (optLine.isActive()) {
      opts.add(optLine.getArgument());
    }
  }
}

private void addPreferenceOptions ( final List < String > opts , IPreferenceStore store ) { String argStr = store . getString ( CheckerPreferences . PREF_CHECKER_ARGS ) ; List < OptionLine > optionlines = OptionLine . parseOptions ( argStr ) ; for ( final OptionLine optLine : optionlines ) { if ( optLine . isActive ( ) ) { opts . add ( optLine . getArgument ( ) ) ; } } }
any options found under the label " additional compiler options " in the checker framework plugin preferences page
