object Max {
  java.util.Collections.max(null)
}