[errai-dev] WorkspaceModules.properties?