!4 Bring source file into correspondence with described in spec file

From: @wang--ge 
Reviewed-by: @caodongxia 
Signed-off-by: @caodongxia

sat4j.spec

@@ -3,16 +3,11 @@
 
 Name:                sat4j
 Version:             2.3.5
-Release:             1
+Release:             2
 Summary:             A library of SAT solvers written in Java
-License:             EPL or LGPLv2
+License:             EPL-1.0 or LGPL-2.0-only
 URL:                 http://www.sat4j.org/
-#wegt https://gitlab.ow2.org/sat4j/sat4j/-/archive/2_3_5/sat4j-2_3_5.tar.gz
-#tar zxvf sat4j-2_3_5.tar.gz
-#find ./sat4j-2_3_5 -name *.jar -delete
-#mv sat4j-2_3_5 sat4j-%{version}
-#tar zcvf sat4j-%{version}.tar.gz sat4j-%{version}
-Source0:             sat4j-%{version}.tar.gz
+Source0:             https://gitlab.ow2.org/sat4j/sat4j/-/archive/2_3_5/sat4j-2_3_5.tar.gz
 Patch0:              sat4j-classpath.patch
 
 BuildRequires:       ant javapackages-local
@@ -26,7 +21,8 @@ boxes", those willing to embed SAT technologies into their application
 without worrying about the details.
 
 %prep
-%setup -q -n sat4j-%{version}
+%setup -q -n sat4j-2_3_5
+find . -name *jar -delete
 %patch0
 
 %build
@@ -45,5 +41,8 @@ ant -Dbuild.compiler=modern -Drelease=%{version} \
 # No %%doc files as the about.html is in the jar
 
 %changelog
+* Mon Nov 21 2022 Ge Wang <wangge20@h-partners.com> - 2.3.5-2
+- bring source file into correspondence with described in spec file
+
 * Wed Aug 26 2020 wangxiao <wangxiao65@huawei.com> - 2.3.5-1
 - package init