equal
deleted
inserted
replaced
987 } catch (NamingException e) {} |
987 } catch (NamingException e) {} |
988 } |
988 } |
989 } |
989 } |
990 |
990 |
991 /* |
991 /* |
992 * Append the the second Vector onto the first Vector |
992 * Append the second Vector onto the first Vector |
993 * (v2 must be non-null) |
993 * (v2 must be non-null) |
994 */ |
994 */ |
995 private static <T> Vector<T> appendVector(Vector<T> v1, Vector<T> v2) { |
995 private static <T> Vector<T> appendVector(Vector<T> v1, Vector<T> v2) { |
996 if (v1 == null) { |
996 if (v1 == null) { |
997 v1 = v2; |
997 v1 = v2; |