0001-Prefer-default-Python-version.patch
0002-openJDK-so.patch
