/tests/decs/

• ../
• DeclareSoftRuntimeException.aj
• VerifyError.aj