ESC/Java options

From Arnout Engelen

Options useful for running ESC/Java when one's basically just interested in nullness properties:

• -NoWarn All and -Warn Null (probably?)
• -NoCautions?
• -NoTrace
• -Routine and -Class (remember, -Routine restricts, -Class broadens)
• not -Typecheck, that doesn't do nullness

instead of -Routine, sometimes people use -Start #lineno