java com.nailabs.abac.test.TestEngine USSHoward.txt SEAdmiraltyKDR.txt "SAdmir: SAdmir.getsSLocs <<-?- USSH"