Update JDK to LTS 21

Open
#3,699 1 comment 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
20/100
Issue type
Feature
Clarity
Needs clarification
Activity status
Stale
Tech stack
java
Domain
build-system

Research direction

Start by reviewing the blocker in #3591 and the ongoing JVM 17 investigation, especially the stated focal support limitations across the tools. Done means confirming that the dependencies and tools support Java 21 and updating the project’s JDK configuration when that prerequisite is met.

Written by the indexing model from the issue text.

Description

dependencies

Blocked in #3591

Java 21 is the new LTS version of Java. Many newer features were introduced in this version, which will probably be included in the more recent versions of the images we currently use.

We should keep track of the possibility of using it as soon as all our dependencies work with it. We're currently investigating the bumping to JVM 17, which is blocked by the focal support across our tools. Similar issues will block us in the future from getting JVM 21.

Dominant language
Python
Stars
591
Forks
163
No merged PRs in 30d

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from runtimeverification/k

All issues in runtimeverification/k

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.