Author: Andreas Tille <tille@debian.org>
Last-Update: Fri, 29 Jan 2016 15:47:50 +0100
Description: Replace non-free class by Java standard String.format

--- a/util/Makefile
+++ b/util/Makefile
@@ -5,7 +5,7 @@
 
 UTIL_JAR=f2jutil.jar
 
-VER_TARGET=1.2
+VER_TARGET=1.8
 
 $(UTIL_JAR):
 	mkdir -p $(OUTDIR)
--- a/util/org/j_paine/formatter/Formatter.java
+++ b/util/org/j_paine/formatter/Formatter.java
@@ -553,7 +553,7 @@
     /* Convert the number to a string. */
     if ( o instanceof Integer || o instanceof Long ) {
       String fmtstr = "%" + Integer.toString(getWidth()) + "d";
-      s = new PrintfFormat(fmtstr).sprintf(o);
+      s = String.format(fmtstr, o);
 
       /* Throw an exception if the string won't fit. */
       if ( s.length() > getWidth() )
@@ -745,7 +745,7 @@
          o instanceof Float || o instanceof Double ) {
       String fmtstr = "%" + Integer.toString(getWidth()) + "." + 
          Integer.toString(this.d) + "f";
-      s = new PrintfFormat(fmtstr).sprintf(o);
+      s = String.format(fmtstr, o);
 
       /* Throw an exception if the string won't fit. */
       if ( s.length() > getWidth() )
@@ -836,7 +836,7 @@
          o instanceof Float || o instanceof Double ) {
       String fmtstr = "%" + Integer.toString(getWidth()) + "." + 
          Integer.toString(this.d) + "E";
-      s = new PrintfFormat(fmtstr).sprintf(o);
+      s = String.format(fmtstr, o);
 
       /* Throw an exception if the string won't fit. */
       if ( s.length() > getWidth() )