5051525354555657585960
} public Options getOptions () { if ( options == null ) { options = new Options(); } else { return options; } Option userOption = new Option( UpdateOptions.USER, true, Messages.getString( "UpdateOptions.text.user" ) );