Java Versioned STM