// default option values
String targetLanguage = defaultTarget;
boolean generateCode = true;
Verbosity verbosity = INFORMATIVE;
Strictness strictness = STRICT;
// supported targets
SortedSet<String> supportedTargets = new TreeSet<String>();
supportedTargets.add("java");