From fa40aaf73124fbac3a7cdcaa08677e90fd59610a Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Tue, 28 Oct 2014 17:04:59 +0200
Subject: [PATCH] Get rid of Java generics warning

Casts are still needed, because Properties extends
Hashtable<Object, Object> instead of Hashtable<String, String>.
---
 src/main/java/org/umlgraph/doclet/Options.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/umlgraph/doclet/Options.java b/src/main/java/org/umlgraph/doclet/Options.java
index 1580dd9..e2a9986 100644
--- a/src/main/java/org/umlgraph/doclet/Options.java
+++ b/src/main/java/org/umlgraph/doclet/Options.java
@@ -612,7 +612,7 @@ public class Options implements Cloneable, OptionProvider {
 	    InputStream is = new FileInputStream(apiDocMapFileName);
 	    Properties userMap = new Properties();
 	    userMap.load(is);
-	    for (Map.Entry mapEntry : userMap.entrySet()) {
+	    for (Map.Entry<?, ?> mapEntry : userMap.entrySet()) {
 		try {
 		    Pattern regex = Pattern.compile((String) mapEntry.getKey());
 		    String thisRoot = (String) mapEntry.getValue();