The jar or class file to pass to the type checker
(optional) Set the debug level between 0 (lowest) and 10 (very verbose)
Disable the check on correct variance of overriding methods
(optional) Override location of class files loaded for the run time