Java Static-analyzer Resources