Code Editor : conflict-detection.js