boolean hasOption(String requested){
  if (optionsAsString == null)   optionsAsString=Util.toString(opts);
  for (  String opt : Util.split(optionsAsString,',')) {
    if (opt.equals(requested))     return true;
  }
  return false;
}

boolean hasOption ( String requested ) { if ( optionsAsString == null ) optionsAsString = Util . toString ( opts ) ; for ( String opt : Util . split ( optionsAsString , ',' ) ) { if ( opt . equals ( requested ) ) return true ; } return false ; }
tells whether the mount entry has the given option .
