real-time multi-user collaboration platform with spring boot, redis, and websockets.