Minor review (and rename) of MirroringJavaClassAPIs.md