[ 512016 ] Get rid of PreventExitSecurityManager
as suggested almost 6 years ago ;-) D src/edu/rice/cs/util/PreventExitSecurityManagerTest.java D src/edu/rice/cs/util/PreventExitSecurityManager.java
Authored by: mgricken 2008-01-18
Parent: [r4308]
Child: [r4310]