2.4.2 patch with ORCID update

2018-03-04

An subsequent update of the 2.4 series was rolled out. Contains couple of bugfixes improving stability (mostly after the huge Vaadin upgrade) and also update of ORCID oauth client to its latest 2.1 API. The so far used ORCID API 1.2 is being removed, so if using this social provider update is necessary. See Downloads for details.