Java library for Restricted Transactional Memory