diff --git a/config/eclipse/empty_preconfigured_eclipse_workspace.zip b/config/eclipse/empty_preconfigured_eclipse_workspace.zip
index e741516753b292fc9be09aa35a2eabe221d8aa47..f83415dae306ec7de3faa17cb1ceeaf1fd623a31 100644
Binary files a/config/eclipse/empty_preconfigured_eclipse_workspace.zip and b/config/eclipse/empty_preconfigured_eclipse_workspace.zip differ