No bug - make check_head_headers.sh only check files ending in .java.