Introduction of IResource.getPath(), null handling in module id encoding code