--- old/src/java.base/share/classes/jdk/internal/module/ModulePatcher.java	2016-04-25 14:50:51.000000000 -0700
+++ new/src/java.base/share/classes/jdk/internal/module/ModulePatcher.java	2016-04-25 14:50:51.000000000 -0700
@@ -274,7 +274,7 @@
             try {
                 Optional<URI> ouri = mref.location();
                 if (ouri.isPresent())
-                    return ouri.get().toURL();
+                    return ouri.getWhenPresent().toURL();
             } catch (MalformedURLException e) { }
             return null;
         }