--- a/jdk/src/jdk.jdi/share/classes/com/sun/jdi/ClassType.java	Fri Jun 16 04:54:54 2017 +0000
+++ b/jdk/src/jdk.jdi/share/classes/com/sun/jdi/ClassType.java	Fri Jun 16 14:09:31 2017 +0200
@@ -42,6 +42,7 @@
  * @since  1.3
  */
 public interface ClassType extends ReferenceType {
+
     /**
      * Gets the superclass of this class.
      *