From 6c46fe3f1ae88d0ecdb96de3c3804cc4ee5f57a8 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 25 Oct 2013 13:28:32 -0500
Subject: [PATCH] Make Vector a Cloneable

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 classpath/java/util/Vector.java | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/classpath/java/util/Vector.java b/classpath/java/util/Vector.java
index e48ac52450..94ba9cbbe6 100644
--- a/classpath/java/util/Vector.java
+++ b/classpath/java/util/Vector.java
@@ -10,7 +10,7 @@
 
 package java.util;
 
-public class Vector<T> extends AbstractList<T> implements java.io.Serializable {
+public class Vector<T> extends AbstractList<T> implements java.io.Serializable, Cloneable {
   private final ArrayList<T> list;
 
   public Vector(int capacity) {
@@ -126,5 +126,12 @@ public class Vector<T> extends AbstractList<T> implements java.io.Serializable {
   public Enumeration<T> elements() {
     return new Collections.IteratorEnumeration(iterator());
   }
-  
+
+  public synchronized Object clone() {
+    Vector copy = new Vector(size());
+    for (T t : this) {
+      copy.add(t);
+    }
+    return copy;
+  }
 }