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

*** 102,112 ****
          boolean random = false;
          long seed = FIXED_SEED;
          String pat = null;
          Date date = null;
  
!         Vector newArgs = new Vector();
          for (int i=0; i<args.length; ++i) {
              if (args[i].equals("-locale")
                  && (i+1) < args.length) {
                  loc = createLocale(args[i+1]);
                  ++i;
--- 102,112 ----
          boolean random = false;
          long seed = FIXED_SEED;
          String pat = null;
          Date date = null;
  
!         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,145 ****
                         && (i+1) < args.length) {
                  random = true;
                  seed = Long.parseLong(args[i+1]);
                  ++i;
              } else {
!                 newArgs.addElement(args[i]);
              }
          }
  
          if (newArgs.size() != args.length) {
              args = new String[newArgs.size()];
!             newArgs.copyInto(args);
          }
  
          new DateFormatRoundTripTest(random, seed, infinite, date, pat, loc).run(args);
      }
  
--- 129,145 ----
                         && (i+1) < args.length) {
                  random = true;
                  seed = Long.parseLong(args[i+1]);
                  ++i;
              } else {
!                 newArgs.add(args[i]);
              }
          }
  
          if (newArgs.size() != args.length) {
              args = new String[newArgs.size()];
!             newArgs.addAll(Arrays.asList(args));
          }
  
          new DateFormatRoundTripTest(random, seed, infinite, date, pat, loc).run(args);
      }
  
*** 191,200 ****
--- 191,201 ----
  
          /**
           * 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;