Changed to connect to servlet by default.
Draft Machine->validate(), ValidateSet and test.