Added a refresh() before quit() in the selenium tests, since this solves the problem of spurious test failures in some environments.
Added a refresh() before quit() in the selenium tests, since this solves the problem of spurious test failures in some environments.