Chore(deps): bump gitpod/workspace-java-17 from 2024-04-29-23-03-42 t…

…o 2024-05-13-09-12-40 (#5161)

Chore(deps): bump gitpod/workspace-java-17

Bumps gitpod/workspace-java-17 from 2024-04-29-23-03-42 to 2024-05-13-09-12-40.

---
updated-dependencies:
- dependency-name: gitpod/workspace-java-17
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

.gitpod.dockerfile

@@ -1,4 +1,4 @@
-FROM gitpod/workspace-java-17:2024-04-29-23-03-42
+FROM gitpod/workspace-java-17:2024-05-13-09-12-40
 
 ENV LLVM_SCRIPT="tmp_llvm.sh"