Thanks, I fixed it. > Edit: Wow! You've never played Minecraft before? That's crazy! I don't play computer games (the last game I played was "Thomas was alone

Thanks, I fixed it. > Edit: Wow! You've never played Minecraft before? That's crazy! I don't play computer games (the last game I played was "Thomas was alone"), but I know people that play it more often. Edit: Link to the game https://de.wikipedia.org/wiki/Thomas_Was_Alone https://de.wikipedia.org/wiki/Thomas_Was_Alone. Nowadays, I like to play whack-a-mole with bugs in the OpenJDK.