fix: reject JDK < 11 early with clear error message #116

Job	Run time
determine-changes	8s
e2e-java (java-fibonacci-nogit, end_to_end_test_java_fibonacci.py, 70, true)	7m 44s
prek	23s
type-check	30s
e2e-java (java-void-optimization-nogit, end_to_end_test_java_void_optimization.py, 70, true)	7m 42s
e2e-java (java-tracer, end_to_end_test_java_tracer.py, 10)	1h 19m 40s
unit-tests (ubuntu-latest, 3.10)	7m 48s
unit-tests (ubuntu-latest, 3.14)	7m 6s
unit-tests (ubuntu-latest, 3.12)	8m 0s
e2e-python (tracer-replay, end_to_end_test_tracer_replay.py, 10)	12m 13s
e2e-python (topological-sort, end_to_end_test_topological_sort_worktree.py, 5)	5m 19s
unit-tests (ubuntu-latest, 3.9)	10m 14s
unit-tests (ubuntu-latest, 3.13)	8m 18s
e2e-python (async-optimization, end_to_end_test_async.py, 10)	9m 26s
e2e-python (bubble-sort-unittest, end_to_end_test_bubblesort_unittest.py, 40)	8m 6s
e2e-python (coverage-e2e, end_to_end_test_coverage.py, black)	9m 22s
unit-tests (ubuntu-latest, 3.11)	7m 57s
unit-tests (windows-latest, 3.13)	12m 6s
e2e-python (futurehouse-structure, end_to_end_test_futurehouse.py, 5)	6m 24s
e2e-python (bubble-sort-pytest-nogit, end_to_end_test_bubblesort_pytest.py, 70, true)	11m 59s
e2e-python (init-optimization, end_to_end_test_init_optimization.py, 10)	5m 37s
e2e-python (benchmark-bubble-sort, end_to_end_test_benchmark_sort.py, 5)	10m 52s
e2e-js	0s
required checks passed	2s
	3h 56m 56s

Provide feedback