Improvements to LotJdo and PermitJdo