Repository navigation

Clean up usages of some old Java APIs - #322

Merged

robinst merged 3 commits into

mainfrom

java-11-updates

Apr 26, 2024

Merged

Clean up usages of some old Java APIs#322
robinst merged 3 commits into
mainfrom
java-11-updates

Commits on Apr 26, 2024
- Use List.of, Set.of, Map.of
  robinst
  committed
  6c9e54f
- Use StandardCharsets instead of Charset.forName
  robinst
  committed
  cf6e03a
- Use Objects.requireNonNull
  robinst
  committed
  0a969a0