Synchronized muRascalVM and RVM; a minor fix plus one more example.