Version 0.1.2 of the Javarifier tool for inferring @ReadOnly annotations has been released and can be downloaded from: http://pag.csail.mit.edu/javari/javarifier/ Version 1.0.2 includes several bug fixes that allow the tool to work on the Eclipse compiler, which is over 120,000 lines of code. Comments and feedback are greatly appreciated. Jaime