On 5/18/14, 7:10 AM, David Nadlinger wrote: > ... Java classes could just be > translated to "@synchronizable class" or whatever. Whether we preserve backwards compatibility or not, @synchronizable has my vote for the bikeshed's color.