Juan Leon Lahoz Garcia Thu, 15 Nov 2001 00:23:36 -0800
Hi.
I solved the problem I just reported by customizing variable `jde-jdk-registry', that wat to nil. I should have investigated further, sorry. -- Leon
