Fixed Java7-specific annotation.