Remove unnecessary annotation when using Java7 (which is our default)