< prev index next >

test/java/text/Format/DateFormat/DateFormatRoundTripTest.java

Print this page

        

@@ -102,11 +102,11 @@
         boolean random = false;
         long seed = FIXED_SEED;
         String pat = null;
         Date date = null;
 
-        Vector newArgs = new Vector();
+        List<String> newArgs = new ArrayList<>();
         for (int i=0; i<args.length; ++i) {
             if (args[i].equals("-locale")
                 && (i+1) < args.length) {
                 loc = createLocale(args[i+1]);
                 ++i;

@@ -129,17 +129,17 @@
                        && (i+1) < args.length) {
                 random = true;
                 seed = Long.parseLong(args[i+1]);
                 ++i;
             } else {
-                newArgs.addElement(args[i]);
+                newArgs.add(args[i]);
             }
         }
 
         if (newArgs.size() != args.length) {
             args = new String[newArgs.size()];
-            newArgs.copyInto(args);
+            newArgs.addAll(Arrays.asList(args));
         }
 
         new DateFormatRoundTripTest(random, seed, infinite, date, pat, loc).run(args);
     }
 

@@ -191,10 +191,11 @@
 
         /**
          * Return the Date of this test case; must be called with the default
          * zone set to this TestCase's zone.
          */
+        @SuppressWarnings("deprecation")
         Date getDate() {
             if (_date == null) {
                 // Date constructor will work right iff we are in the target zone
                 int h = 0;
                 int m = 0;
< prev index next >