Soothing server-client model synchronization for JavaScript