diff --git a/config/eclipse/empty_preconfigured_eclipse_workspace.zip b/config/eclipse/empty_preconfigured_eclipse_workspace.zip
index 09debbc7123cc1099280f4677f718e3aca623ec3..2bd0bd91348afe807136ccbde45182b4c32118b6 100644
Binary files a/config/eclipse/empty_preconfigured_eclipse_workspace.zip and b/config/eclipse/empty_preconfigured_eclipse_workspace.zip differ