Java adds concurrency annotations

[Walter Bright]

Paul D. Anderson wrote:
> The folks at Sun are adding standard annotations to Java 7 for
> security, concurrency, precondiitons and nullability, among others:
> 
> http://today.java.net/pub/a/today/2008/09/11/jsr-305-annotations.html
> 
> 
> I wonder how these will play out in the real world. I'm especially
> interested in the @Immutable annotation since Java's
> pass-by-reference implementation makes immutability very difficult to
> implement.

My reading of the article suggests that it is a compile time only thing. 
There's no mention of transitivity, but the description implies it isn't 
transitive.

> Thanks again, Walter, for the transitive const paradigm. (Although I
> still contend that you got the keyword wrong: it should be
> "immutable" -- just like Java!!)
> 
> Paul