Class defining all configuration options with values of type NonNegativeInteger.
version: $Id: NonNegativeIntegerOption.java 4255 2007-08-28 19:17:37Z mgricken $
Parameters: s - The String to be parsed. The Integer object represented by "s". exception: IllegalArgumentException - if "s" does not represent an non-negative integer value: only Strings thatcan be generated by the method NonNegativeInteger.toString() are supported.
Methods inherited from edu.rice.cs.drjava.config.IntegerOption