@@ -392,11 +392,11 @@ newstr = subStream(len, true); /* * Pull values out of the stream. */ - Vector<DerValue> vec = new Vector<DerValue>(startLen); + Vector<DerValue> vec = new Vector<>(startLen); DerValue value; do { value = new DerValue(newstr.buffer); vec.addElement(value);