diff --git a/config/eclipse/empty_preconfigured_eclipse_workspace.zip b/config/eclipse/empty_preconfigured_eclipse_workspace.zip index 4f7bf203cc16ec09251cafdf2da3fb6af31dd884..75acd6747f91e8aa7435a36183d3b1c5a477d921 100644 Binary files a/config/eclipse/empty_preconfigured_eclipse_workspace.zip and b/config/eclipse/empty_preconfigured_eclipse_workspace.zip differ