Set of JavaDoc doclets for modern Java annotations APIs