trait DefaultParameter extends java.lang.Object {
  def foo(s : scala.Predef.String) : scala.Unit
}