/*
 * @test
 * @ignore
 * @summary Test case for Issue 1356.
 * https://github.com/typetools/checker-framework/issues/1356
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.regex.RegexChecker -Astubs=MyClass.astub mypackage/MyClass.java -Werror -AstubWarnIfNotFound
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.regex.RegexChecker mypackage/UseMyClass.java
 */

public class Main {}