Additions to LotJdo and PermitJdo