v2.4.2

This patch release is a re-release of version 2.4.1, because the version 2.4.1 was not uploaded to Maven central. No changes in code were introduced.