Name: mc57594 Date: 02/07/97


If java is called with the -checksource flag,
outdated classes are not recompiled. They should
be recompiled according to the specification,
though.
company - ZIB , email - ###@###.###
======================================================================