remove cast

Author: benfry

src/processing/mode/android/SDKDownloader.java

@@ -357,7 +357,7 @@ static public void extractFolder(File file, File newPath) throws IOException {
     // Process each entry
     while (zipFileEntries.hasMoreElements()) {
       // grab a zip file entry
-      ZipEntry entry = (ZipEntry) zipFileEntries.nextElement();
+      ZipEntry entry = zipFileEntries.nextElement();
       String currentEntry = entry.getName();
       File destFile = new File(newPath, currentEntry);
       //destFile = new File(newPath, destFile.getName());