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