Add explicit Java module descriptor

[Copilot]

---

Before the change?

• The SDK only published an automatic module name, so JPMS consumers did not get an explicit module descriptor.

After the change?

• Adds module com.github.copilot.sdk.java with SDK package exports and required module dependencies.
• Adds coverage that verifies the SDK is loaded as a named module with expected exports.
• Updates Checkstyle configuration to skip module-info.java.

module com.github.copilot.sdk.java {
    exports com.github.copilot.sdk;
    exports com.github.copilot.sdk.generated;
    exports com.github.copilot.sdk.generated.rpc;
    exports com.github.copilot.sdk.json;
}

Pull request checklist

• Tests for the changes have been added (for bug fixes / features)
• Docs have been reviewed and added / updated if needed (for bug fixes / features)
• mvn spotless:apply has been run to format the code
• mvn clean verify passes locally

Does this introduce a breaking change?

• Yes
• No

---

[edburns]

Thanks, @brunoborges . This is a good one. I look forward to getting it merged.

[Copilot]

Pull request overview

Adds an explicit JPMS module descriptor (module-info.java) so consumers of the SDK get a real named module instead of just an Automatic-Module-Name. A unit test verifies the module name, exports, and Jackson dependency, and Checkstyle is updated to exclude module-info.java from documentation rules.

Changes:

• New src/main/java/module-info.java declaring module com.github.copilot.sdk.java with required Jackson modules and exports for the four public SDK packages.
• New ModuleDescriptorTest asserting the SDK is loaded as a named module with the expected exports and requires entries.
• Checkstyle filter pattern updated to also skip module-info.java.

Show a summary per file

File	Description
src/main/java/module-info.java	New JPMS descriptor declaring requires/exports for the SDK.
src/test/java/com/github/copilot/sdk/ModuleDescriptorTest.java	Verifies module is named and exposes expected packages/requires.
config/checkstyle/checkstyle.xml	Excludes module-info.java from Checkstyle (alongside existing package excludes).

Copilot's findings

Comments suppressed due to low confidence (1)

src/main/java/module-info.java:15

• java.net.http is declared as a requires static dependency, but no class under src/main/java references the java.net.http package (searches for HttpClient and java.net.http return no usages outside this module descriptor). Consider removing this requires to keep the descriptor accurate; otherwise readers will be misled about the SDK's compile-time dependencies.

    requires static java.net.http;

• Files reviewed: 3/3 changed files
• Comments generated: 1

[edburns]

@copilot I observe the Build & Test workflow failed. This must not fail. Please investigate the most recent failures and fix them, pushing more commits.

[Copilot]

@copilot I observe the Build & Test workflow failed. This must not fail. Please investigate the most recent failures and fix them, pushing more commits.

Fixed in d2ea79a. I investigated the latest failing Build & Test run (25941165931) and updated module-info.java to open com.github.copilot.sdk, com.github.copilot.sdk.generated, and com.github.copilot.sdk.json to com.fasterxml.jackson.databind, which resolves the JPMS/Jackson InaccessibleObjectException test failures.