Chore(deps): bump gitpod/workspace-java-17 from 2024-04-29-23-03-42 to 2024-05-13-09-12-40#5161