| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| developer-guide-7.2.0.Final-sources.jar | Thu Sep 17 10:13:13 Z 2026 | 324 | |
| developer-guide-7.2.0.Final-sources.jar.sha1 | Wed Dec 24 11:03:44 Z 2025 | 40 | |
| developer-guide-7.2.0.Final.jdocbook.sha1 | Thu Sep 17 03:13:49 Z 2026 | 40 | |
| developer-guide-7.2.0.Final.pom | Thu Sep 17 08:10:12 Z 2026 | 3048 | |
| developer-guide-7.2.0.Final.pom.sha1 | Wed Dec 24 14:09:43 Z 2025 | 40 |