From ba5f94f6bac145c17daf9b27d52242ae793ce6a3 Mon Sep 17 00:00:00 2001
From: Tara Drwenski <tdrwenski@ucar.edu>
Date: Tue, 12 Dec 2023 09:56:24 -0700
Subject: [PATCH] Fix unchecked conversion warning

---
 tds/src/main/java/thredds/servlet/ServletUtil.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tds/src/main/java/thredds/servlet/ServletUtil.java b/tds/src/main/java/thredds/servlet/ServletUtil.java
index 5bb60aa68e..974c3c45c6 100644
--- a/tds/src/main/java/thredds/servlet/ServletUtil.java
+++ b/tds/src/main/java/thredds/servlet/ServletUtil.java
@@ -394,8 +394,8 @@ public static void forwardToCatalogServices(HttpServletRequest req, HttpServletR
   static public void showSystemProperties(PrintStream out) {
 
     Properties sysp = System.getProperties();
-    Enumeration e = sysp.propertyNames();
-    List<String> list = Collections.list(e);
+    Set<String> propertyNames = sysp.stringPropertyNames();
+    List<String> list = new ArrayList<>(propertyNames);
     Collections.sort(list);
 
     out.println("System Properties:");