Killer’s inquest told garda names won’t be published