int () { int mask = ourTraceMask; DebugEnvironment environment = mySession.getDebugEnvironment(); if (environment instanceof DefaultDebugEnvironment) { mask |= ((DefaultDebugEnvironment)environment).getTraceMode(); } return mask; }