diff --git a/z3.spec b/z3.spec
index ac4727b..e0619fd 100644
--- a/z3.spec
+++ b/z3.spec
@@ -5,7 +5,7 @@
 
 Name:           z3
 Version:        4.8.14
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -230,6 +230,9 @@ cd -
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 4.8.14-4
+- Rebuilt for java-17-openjdk as system jdk
+
 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3
 - OCaml 4.13.1 rebuild to remove package notes