[PHP 7.1] «Cannot use 'Void' as class name as it is reserved» while compiling the Magento 2 PHP code (and my fix)

The current Magento 2.2 development branch becomes to support PHP 7.1.
So the fix is not needed anymore.