}
if (e instanceof ExceptionFault)
{
ExceptionFault ef = (ExceptionFault) e;
Value thrownValue = ef.getThrownValue();
if (thrownValue != null)
{
if (!ef.willExceptionBeCaught())
{
stop = true;
}
else
{
stop = false;
String typeName = thrownValue.getTypeName();
int at = typeName.indexOf('@');
if (at != -1)
typeName = typeName.substring(0, at);
for (int i=0; i<catchpointCount(); ++i)