/* | |
* @test | |
* @summary Test for Issue 141 | |
* | |
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker Decl.java DA.java | |
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker DB.java | |
* | |
* | |
*/ | |
public class Driver {} |