--- old/test/jdk/java/util/Formatter/BasicIntObject.java	2018-06-07 19:22:50.893215942 -0700
+++ new/test/jdk/java/util/Formatter/BasicIntObject.java	2018-06-07 19:22:50.383169714 -0700
@@ -1792,6 +1792,15 @@
         //---------------------------------------------------------------------
         test("%%", "%", (Object)null);
         test("%%", "%", "");
+
+        test("%5%", "    %", (Object)null);
+        test("%5%", "    %", "");
+        test("%-5%", "%    ", (Object)null);
+        test("%-5%", "%    ", "");
+
+        tryCatch("%.5%", IllegalFormatPrecisionException.class);
+        tryCatch("%5.5%", IllegalFormatPrecisionException.class);
+
         tryCatch("%%%", UnknownFormatConversionException.class);
         // perhaps an IllegalFormatArgumentIndexException should be defined?
         tryCatch("%<%", IllegalFormatFlagsException.class);