tools.properties should be in the tools submodule.