diff --git a/eclipse-workspace-dev.zip b/eclipse-workspace-dev.zip index e92cb557e..0b8057d66 100644 Binary files a/eclipse-workspace-dev.zip and b/eclipse-workspace-dev.zip differ