Update AbstractedOption.java