[DrJava] Second JVM quits immediately now

[Brian S. <bs...@bs...>]

Fixed bug #529125, making the interactions JVM quit immediately when
DrJava quits. See bug report or commit logs for details.

I still want to release tonight, so please tell me if there are any
reasons not to!

-brian

----------------------------------------------------------------
Brian Stoler       home: (713) 520-9017   office: (713) 348-3720
Graduate student, Rice University Department of Computer Science