xwiki/xwiki-platform — comment on commit dcb4bdbcfbff13e1c62bf8bfbca2e42fe36d3765
File: xwiki-platform-core/xwiki-platform-extension/xwiki-platform-extension-api/src/main/java/org/xwiki/extension/internal/DefaultExtensionManagerConfiguration.java line 129
By tmortagne:

according to its javadoc getProperty is not supposed to return null so that's not the proper fix...