Preparing for 2.12.3
Preparing for 2.12.4-SNAPSHOT
2.12.3.4: merging 2.12.3 official release and toning down ServerMonitor error logging