test/jdk/java/util/Formatter/BasicDouble.java

*** 1790,1799 ****
--- 1790,1808 ----
          //---------------------------------------------------------------------
          // %%
          //---------------------------------------------------------------------
          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);
      }
  }