chore!: require Java 21, drop servlet-api and CommonPathResolver
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sun, 27 Sep 2026 13:42:25 +0000 (16:42 +0300)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sun, 27 Sep 2026 13:42:25 +0000 (16:42 +0300)
commitf72e14bbc9747a5878bb90c011519c541ccd0efb
tree224c405520ee3a48ee5fc3bbd2adfe4444d5d5b1
parent934cf98965ab967d905d26e5903ea6ad47c2b4c2
chore!: require Java 21, drop servlet-api and CommonPathResolver

Build: compiler source/target 8 to 21 (Debian 13 ships OpenJDK 21
and 25); remove the unused provided-scope servlet-api 2.5 dependency,
which nothing in the tree ever imported.

API: delete CommonPathResolver, a trivial System.getProperty
("user.home") wrapper; package-info and docs updated accordingly.

Documentation: doc/ renamed to Documentation/ per house convention.
The page gains stable CUSTOM_ID anchors on every heading and the
shared style.css replaces the inline style block; the Maven
quick-start section moves ahead of the feature tour, feature
subsections follow a familiarity ramp, and a new building-from-source
section documents the Debian 13 JDK packages and the Maven build.
.gitignore
AGENTS.md
Documentation/index.org [new file with mode: 0644]
Documentation/style.css [new file with mode: 0644]
Tools/Update web site
doc/index.org [deleted file]
pom.xml
src/main/java/eu/svjatoslav/commons/file/CommonPathResolver.java [deleted file]
src/main/java/eu/svjatoslav/commons/file/package-info.java