postprocessing JDK annotations

to make them JDK6 and JDK7 compatible