use 4.0 jars for annotation processing