java/java-tests/testData/compileServer/incremental/classProperties/removeImplements/Super.java.new

class Super implements java.lang.Runnable {
  public void run() {
  }
}