installer and guide fixes for the timer problem (3672)

[landreev]

New Contributors

Welcome! New contributors should at least glance at CONTRIBUTING.md, especially the section on pull requests where we encourage you to reach out to other developers before you start coding. Also, please note that we measure code coverage and prefer you write unit tests. Pull requests can still be reviewed without tests or completion of the checklist outlined below. Thanks!

Related Issues

• connects to Problems with the EJB Timer (in production environment, specifically) #3672: Problems with the EJB Timer ...

Pull Request Checklist

• Unit tests completed
• Integration tests: None
• Deployment requirements, SQL updates, Solr updates, etc.: None
• Documentation completed
• Merged latest from "develop" branch and resolved conflicts

[coveralls]

Coverage remained the same at 12.423% when pulling e227e77 on 3672-timer-problem into 6b53fa1 on develop.

[coveralls]

Coverage remained the same at 12.423% when pulling 4d9b1df on 3672-timer-problem into 6b53fa1 on develop.

[coveralls]

Coverage remained the same at 12.423% when pulling fd5ddd3 on 3672-timer-problem into 6b53fa1 on develop.

[coveralls]

Coverage remained the same at 12.423% when pulling 9bee7b2 on 3672-timer-problem into 6b53fa1 on develop.

[coveralls]

Coverage decreased (-0.004%) to 12.419% when pulling 37c755e on 3672-timer-problem into 6b53fa1 on develop.