--- old/jdk/src/jdk.charsets/share/classes/module-info.java	2017-06-17 08:34:19.000000000 -0700
+++ new/jdk/src/jdk.charsets/share/classes/module-info.java	2017-06-17 08:34:19.000000000 -0700
@@ -33,6 +33,6 @@
  * @since 9
  */
 module jdk.charsets {
-    provides java.nio.charset.spi.CharsetProvider
-        with sun.nio.cs.ext.ExtendedCharsets;
+    provides java.nio.charset.spi.CharsetProvider with
+        sun.nio.cs.ext.ExtendedCharsets;
 }