* gnu/java/security/der/DERReader.java: Call static methods staticly.

       * java/awt/TextComponent.java (select): Use selectionEnd parameter.
       * java/lang/System.java (runFinalizersOnExit): Call static
       Runtime.runFinalizersOnExit staticly.
       * java/net/URL.java
       (set(String, String, int, String, String, String, String, String)):
       Assign this.file to path or path + "?" + query.
       * java/text/RuleBasedCollator.java: Call static methods staticly.A
       * java/util/Arrays.java: Likewise.
       * java/util/zip/ZipEntry.java: Likewise.
       * javax/swing/plaf/basic/BasicArrowButton.java (setDirection): Assign
       dir to this.direction.
       * javax/swing/table/DefaultTableCellRenderer.java (noFocusBorder):
       Assign static field only once.
       (DefaultTableCellRenderer): Don't reassign noFocusBorder each time.

1 files changed, 4 insertions, 4 deletions

diff --git a/gnu/java/security/der/DERReader.java b/gnu/java/security/der/DERReader.java
index 3020b8b2d..3915b0711 100644
--- a/gnu/java/security/der/DERReader.java
+++ b/gnu/java/security/der/DERReader.java
@@ -335,7 +335,7 @@ public class DERReader implements DER
               Integer.parseInt(str.substring( 6,  8)),    // hour
               Integer.parseInt(str.substring( 8, 10)));   // minute
             if (date.length() == 12);
-              calendar.set(calendar.SECOND,
+              calendar.set(Calendar.SECOND,
                 Integer.parseInt(str.substring(10, 12)));
           }
         catch (NumberFormatException nfe)
@@ -362,13 +362,13 @@ public class DERReader implements DER
                 case 18:
                 case 17:
                 case 16:
-                  calendar.set(calendar.MILLISECOND,
+                  calendar.set(Calendar.MILLISECOND,
                     Integer.parseInt(date.substring(15)));
                 case 14:
-                  calendar.set(calendar.SECOND,
+                  calendar.set(Calendar.SECOND,
                     Integer.parseInt(date.substring(12, 14)));
                 case 12:
-                  calendar.set(calendar.MINUTE,
+                  calendar.set(Calendar.MINUTE,
                     Integer.parseInt(date.substring(10, 12)));
               }
           }