Extension functions as far as Java is concerned: `...

# announcements

[dean]

Extension functions as far as Java is concerned:
fun ExtendingClass.name(args: Args): ReturnType is
public ReturnType name(ExtendingClass obj, Args args)