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