JS now implements Serializable, does not inherit BalancedTree
darcs-hash:
20040923070511-5007d-
1e65d690be5054383cfa55787718c52a7e5bb3f8.gz
JS no longer automatically extends BalancedTree
darcs-hash:
20040923044010-5007d-
52f163ad4d28c911465b0551cc2edab4d06e5ef6.gz
more checks to make sure files get closed in Directory.java
darcs-hash:
20040912020842-5007d-
cec5f1640643fc49af71701903c7bdb17e2f9d9d.gz
added GnuRegexp.java to eliminated dependency on gnu.regexp.jar
darcs-hash:
20040905070148-5007d-
fbfdc43f446660a114fb6516be59da3d6a60eb5e.gz