Apply pattern matching for instanceof across codebase

[Copilot]

The codebase targets Java 17 but wasn't fully utilizing its language features. Applied pattern matching for instanceof (JEP 394) to eliminate redundant casts.

Changes

• 4 files updated to use pattern matching for instanceof:
  • Configuration.java and TreeProperties.java: String key checks in stringPropertyNames()
  • RemoteTools.java: SocketException cause check in exception handler
  • SubMonitor.java: SubMonitor type check in convert() optimization path

Example

Before:

if (key instanceof String) {
    keys.add((String) key);
}

After:

if (key instanceof final String stringKey) {
    keys.add(stringKey);
}

Other Java 17 Features Evaluated

• Sealed classes: Not applicable - public library APIs require extensibility
• Records: No candidates - existing data classes are mutable or extend other types
• Switch expressions: Single switch statement unsuitable (side effects, complex logic)
• Text blocks: No multi-line string literals present

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• www.puppycrawl.com
  • Triggering command: /opt/hostedtoolcache/CodeQL/2.23.3/x64/codeql/tools/linux64/java/bin/java -jar /opt/hostedtoolcache/CodeQL/2.23.3/x64/codeql/xml/tools/xml-extractor.jar --fileList=/home/REDACTED/work/com.bitctrl/.codeql-scratch/dbs/java/working/files-to-index8986416209424227427.list --sourceArchiveDir=/home/REDACTED/work/com.bitctrl/.codeql-scratch/dbs/java/src --outputDir=/home/REDACTED/work/com.bitctrl/.codeql-scratch/dbs/java/trap/java (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)

Original prompt

Aktualisiere den Code auf Java 17 Level und verwende Java 17 Sprachfeatures

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

[upeuker]

Dafür hätte es nun wirklich keine KI gebraucht :)