102103104105106107108
this.optionValue = optionValue; } public OptionEncoding(int previousOptionNumber, int optionNumber, String value) throws Exception{ this(previousOptionNumber, optionNumber, new StringOptionValue(optionNumber, value)); }