5abaa6520ecbb3f1f41f15afa1a5d1b1b0e3127e
-rw-r--r-- 1308 BooleanOption.java
-rw-r--r-- 2474 IntegerParameter.java
-rw-r--r-- 2912 Option.java
-rw-r--r-- 1417 Parameter.java
-rw-r--r-- 945 StringChoiceParameter.java