Synchronizing Interactive Web Documents with FD-JAVA Constraints