package annotator.tests;

// This test ensures that no annotation is re-inserted, if it already
// existed in the original source code.
public class DuplicateAnnotation {

  @SuppressWarnings("A")
  void m1() { }

  @java.lang.SuppressWarnings("B")
  void m2() { }

  /*@SuppressWarnings("C")*/
  void m3() { }

  /*@java.lang.SuppressWarnings("D")*/
  void m4() { }

  @java.lang.SuppressWarnings("E")
  void m5() { }

  void m6() {
    @SuppressWarnings("F")
    @java.lang.Deprecated
    Object o = new Object();
  }

  int /*@annotator.tests.TA*/ [] i;
}

@java.lang.annotation.Target({java.lang.annotation.ElementType.TYPE_USE})
@interface TA {}