[jsword-svn] r1031 - in trunk/jsword-web: .settings src/main/java/org/crosswire/jsword/view/web

[dmsmith at crosswire.org]

Author: dmsmith
Date: 2006-03-05 05:10:48 -0700 (Sun, 05 Mar 2006)
New Revision: 1031

Modified:
   trunk/jsword-web/.settings/org.eclipse.jdt.core.prefs
   trunk/jsword-web/src/main/java/org/crosswire/jsword/view/web/DownloadSet.java
Log:
Updated to Java 5

Modified: trunk/jsword-web/.settings/org.eclipse.jdt.core.prefs
===================================================================
--- trunk/jsword-web/.settings/org.eclipse.jdt.core.prefs	2006-03-05 12:09:24 UTC (rev 1030)
+++ trunk/jsword-web/.settings/org.eclipse.jdt.core.prefs	2006-03-05 12:10:48 UTC (rev 1031)
@@ -1,4 +1,4 @@
-#Thu Mar 02 07:28:41 EST 2006
+#Sat Mar 04 11:24:00 EST 2006
 eclipse.preferences.version=1
 org.eclipse.jdt.core.builder.cleanOutputFolder=clean
 org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -56,7 +56,7 @@
 org.eclipse.jdt.core.compiler.problem.staticAccessReceiver=warning
 org.eclipse.jdt.core.compiler.problem.syntheticAccessEmulation=warning
 org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning
-org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=ignore
+org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning
 org.eclipse.jdt.core.compiler.problem.undocumentedEmptyBlock=ignore
 org.eclipse.jdt.core.compiler.problem.unnecessaryElse=warning
 org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=warning

Modified: trunk/jsword-web/src/main/java/org/crosswire/jsword/view/web/DownloadSet.java
===================================================================
--- trunk/jsword-web/src/main/java/org/crosswire/jsword/view/web/DownloadSet.java	2006-03-05 12:09:24 UTC (rev 1030)
+++ trunk/jsword-web/src/main/java/org/crosswire/jsword/view/web/DownloadSet.java	2006-03-05 12:10:48 UTC (rev 1031)
@@ -51,7 +51,7 @@
             }
         });
 
-        SortedSet reply = new TreeSet();
+        SortedSet<DownloadSet> reply = new TreeSet<DownloadSet>();
         for (int i = 0; i < files.length; i++)
         {
             String name = files[i].getName();
@@ -60,7 +60,7 @@
             reply.add(new DownloadSet(localprefix, webprefix, sets, datesort));
         }
 
-        return (DownloadSet[]) reply.toArray(new DownloadSet[reply.size()]);
+        return reply.toArray(new DownloadSet[reply.size()]);
     }
 
     /**