ReactiveML version 1.09.02.
Merge pull request #1555 from mandel/master

ReactiveML version 1.09.02.