Use RESConsole.setOptionValue for better compatibility in future