Tom Tromey c23c855f38 Vector.java (VectorEnumeration): Now `final'. ...

* java/util/Vector.java (VectorEnumeration): Now `final'.
	* java/util/Hashtable.java (HashtableEntry): Now `final'.
	(HashtableEnumeration): Likewise.
	* java/util/zip/ZipFile.java (ZipEnumeration): Now `final'.
	* java/text/RuleBasedCollator.java (RBCElement): Now `final'.

From-SVN: r33083

2000-04-11 20:02:48 +00:00

..

Adler32.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

CheckedInputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

CheckedOutputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

Checksum.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

CRC32.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

DataFormatException.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

Deflater.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

DeflaterOutputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

GZIPInputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

GZIPOutputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

Inflater.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

InflaterInputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

natDeflater.cc

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

natInflater.cc

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

ZipConstants.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

ZipEntry.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

ZipException.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

ZipFile.java

Vector.java (VectorEnumeration): Now `final'.

2000-04-11 20:02:48 +00:00

ZipInputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00

ZipOutputStream.java

All files: Updated copyright information.

2000-03-07 19:55:28 +00:00