Testing tools for javac and annotation processors