Re: JDE mode bug! (was Re: Java mode bug ...)