Hello,

This patch modifies jmisc.exp to work around the very very long standing 
bug java/1565 (just that no one thought to report it?).  I'll separatly 
follow up with a testcase for just that bug.

committed,
Andrew