An incorrect warning message displayed when one JS file was being edited by multiple users. This has been fixed.