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