From 448595d0b25886a333acffeee499abab00bc8e37 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Tue, 3 Sep 2013 11:08:07 +0200
Subject: [PATCH] Removed some java warnings

---
 app/src/processing/app/Preferences.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java
index e502270f2..f9319cd7c 100644
--- a/app/src/processing/app/Preferences.java
+++ b/app/src/processing/app/Preferences.java
@@ -190,7 +190,7 @@ public class Preferences {
 
   // data model
 
-  static Hashtable defaults;
+  static Hashtable<String, String> defaults;
   static Hashtable<String, String> table = new Hashtable<String, String>();
   static File preferencesFile;
 
@@ -226,7 +226,7 @@ public class Preferences {
     }
 
     // clone the hash table
-    defaults = (Hashtable) table.clone();
+    defaults = new Hashtable<String, String>(table);
 
     // Load a prefs file if specified on the command line
     if (commandLinePrefs != null) {
@@ -701,7 +701,7 @@ public class Preferences {
     load(input, table);
   }
   
-  static public void load(InputStream input, Map table) throws IOException {
+  static public void load(InputStream input, Map<String, String> table) throws IOException {
     String[] lines = loadStrings(input);  // Reads as UTF-8
     for (String line : lines) {
       if ((line.length() == 0) ||
@@ -806,7 +806,7 @@ public class Preferences {
 
 
   static public String getDefault(String attribute) {
-    return (String) defaults.get(attribute);
+    return defaults.get(attribute);
   }