Document LoggingPermission constructor

[jonathanpeppers]

Refs #251

Documents the Java SE LoggingPermission(String, String) contract while leaving generated interop placeholders and unverified members out of scope.

Sources

• Java SE 8 LoggingPermission
• Android Developers: LoggingPermission

Validation

• Parsed every docs/xml/Java.Util.Logging/*.xml file as XML.
• Confirmed CRLF line endings throughout the namespace.
• Ran git diff --check and reviewed the focused namespace diff.

[Copilot]

Pull request overview

Updates the API XML documentation for Java.Util.Logging.LoggingPermission to reflect the Java SE contract for the LoggingPermission(String, String) constructor, replacing “To be added.” placeholders with concrete parameter and summary text.

Changes:

• Documented the required name value (control) for the constructor.
• Documented the allowed actions values (null or empty string).
• Added a concise constructor <summary>.

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

[jonathanpeppers]

@dalexsoto review

[dalexsoto]

docs/xml/Java.Util.Logging/LoggingPermission.xml: the constructor documents the accepted values but omits its enforced failure behavior. A null name throws Java.Lang.NullPointerException, while an empty/invalid name or invalid actions throw Java.Lang.IllegalArgumentException. Please document both exceptions.