Handling modules' <requiredProperties> correctly.