added BatfishException missing from last commit