tools for finding stuff within java archives