UnknownElectiveOptionException constructor

UnknownElectiveOptionException(int optionNumber)

Constructor.

Implementation

UnknownElectiveOptionException(super.optionNumber);