public class JavaErrorTest {
  // Checking that if one checker finds a Java error
  // and therefor does not set a root, then
  // checkers relying on that checker should also not run.
  // otherwise, it might access a subchecker whose "root" has not been set.
  // (See AnnotatedTypeFactory.setRoot(CompilationUnitTree) )
  void foo() {
    Object a;
    // :: error: variable a is already defined in method foo()
    Object a;
  }
}