Yes, thanks, I've checked some datasheets.

For 16F1939 default timer for HPWM1 is Timer1, but it can be changed via registers.
For 16F722 default timer for HPWM1 is Timer2, so no change is needed.

However, it should be noted that these PICs have only Timer1 16 bit, others are 8 bit, so certain bytes of resolution will be lost...