/** * Gets the current user-supplied options (creates a copy) * * @return the user-supplied options */ public String[] getUserOptions() { return getCopy(m_UserOptions); }
/** * Sets the user-supplied options (creates a copy) * * @param value the user-supplied options to use */ public void setUserOptions(String[] value) { m_UserOptions = getCopy(value); }
/** * Sets the user-supplied options (creates a copy) * * @param value the user-supplied options to use */ public void setUserOptions(String[] value) { m_UserOptions = getCopy(value); }
/** * Gets the current user-supplied options (creates a copy) * * @return the user-supplied options */ public String[] getUserOptions() { return getCopy(m_UserOptions); }
println(" Resetting to default options"); handler.setOptions(getCopy(defaultOptions)); if (getDebug()) { println(" Checking default options match previous default");
println(" Resetting to default options"); handler.setOptions(getCopy(defaultOptions)); if (getDebug()) { println(" Checking default options match previous default");