target = UnsafeInc
classpath+=.
sourcepath+=.
report.console.property_violation=error,trace,snapshot