Use JDK annotations downloaded from a KAnnotator build