Fix unchecked cast warning on shade-relocation parameter

This commit is contained in:
Agaricus 2013-01-23 19:40:26 -08:00
parent 03a418d4b3
commit 03fe7d426b

View File

@ -120,6 +120,7 @@ public class SpecialSource {
// Load mappings, possibly shaded
ShadeRelocationSimulator shadeRelocationSimulator = null;
if (options.has("shade-relocation")) {
@SuppressWarnings("unchecked")
List<String> relocations = (List<String>) options.valuesOf("shade-relocation");
shadeRelocationSimulator = new ShadeRelocationSimulator(relocations);