BatchEvaluator (DebugProcess debugProcess) { BatchEvaluator batchEvaluator = debugProcess.getUserData(BATCH_EVALUATOR_KEY); if (batchEvaluator == null) { batchEvaluator = new BatchEvaluator(debugProcess); debugProcess.putUserData(BATCH_EVALUATOR_KEY, batchEvaluator); } return batchEvaluator; }