diff --git a/eclipse-workspace-dev.zip b/eclipse-workspace-dev.zip index 23b724dd54..449b04b4b9 100644 Binary files a/eclipse-workspace-dev.zip and b/eclipse-workspace-dev.zip differ