--- old/src/java.base/share/classes/java/util/zip/Inflater.java	2018-05-23 10:35:21.550347105 -0700
+++ new/src/java.base/share/classes/java/util/zip/Inflater.java	2018-05-23 10:35:21.222347065 -0700
@@ -73,7 +73,7 @@
  *
  *     // Decode the bytes into a String
  *     String outputString = new String(result, 0, resultLength, "UTF-8");
- * } catch(java.io.UnsupportedEncodingException ex) {
+ * } catch (java.io.UnsupportedEncodingException ex) {
  *     // handle
  * } catch (java.util.zip.DataFormatException ex) {
  *     // handle