--- old/src/hotspot/share/oops/klass.cpp	2018-06-13 15:20:34.479230639 -0400
+++ new/src/hotspot/share/oops/klass.cpp	2018-06-13 15:20:34.116655889 -0400
@@ -809,10 +809,10 @@
       module_name = module->name()->as_C_string();
       msglen += strlen(module_name);
       // Use version if exists and is not a jdk module
-      if (module->is_non_jdk_module() && module->version() != NULL) {
+      if (module->should_show_version()) {
         has_version = true;
         version = module->version()->as_C_string();
-        msglen += strlen("@") + strlen(version);
+        msglen += strlen(version) + 1; // +1 for "@"
       }
     }
   } else {