[releng] Update the Eclipse SDK used for publication to 4.12 Change-Id: I13efaebdba26d6e8e1b09bae262ffd59b16ad106 Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>