A Java annotation scanner