Module#getPath() is documented to return a non-null value.