Index of /pub/gnu/jde

	Name	Last modified	Size	Description
	Parent Directory		-
	jde-2.1.5.tar.gz	1999-03-12 06:53	514K
	jde-2.0.9.tar.gz	1998-08-18 11:13	178K
	README	1999-07-07 14:15	66