Usage.java

import p1.*;
class Usage {
  void bar(Super s) {
    s.foo();
  }
}