From 795b30bd790c021deb5a539053cf3bd59eaeadef Mon Sep 17 00:00:00 2001
From: Hannes Braun <hannes@hannesbraun.net>
Date: Thu, 3 Aug 2023 20:31:46 +0200
Subject: [PATCH] Use a wildcard type parameter for JList in DrawingListPanel

---
 src/main/java/rv/ui/DrawingListPanel.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/rv/ui/DrawingListPanel.java b/src/main/java/rv/ui/DrawingListPanel.java
index 226c91bd..860c88bc 100644
--- a/src/main/java/rv/ui/DrawingListPanel.java
+++ b/src/main/java/rv/ui/DrawingListPanel.java
@@ -123,7 +123,7 @@ public void mouseClicked(MouseEvent event)
 			{
 				// TODO: try/catch really needed?
 				try {
-					JList list = (JList) event.getSource();
+					JList<?> list = (JList<?>) event.getSource();
 					int index = list.locationToIndex(event.getPoint());
 					CheckListItem item = (CheckListItem) list.getModel().getElementAt(index);
 					item.setSelected(!item.isSelected());