Document some parameters to make Xamarin bindings happy

Xamarin uses javadoc to name parameters (else we end up with names like p0, p1 etc...).