Remove .7z extension in download links

Author: mokun

index.html

@@ -462,11 +462,11 @@ <h2>Download</h2>
 
  								<ul>
 									<li>&nbsp;&nbsp;&nbsp;1.&nbsp; 
-									<a href="https://sourceforge.net/projects/mars-sim/files/mars-sim/3.4.0/3.4.0_swing_java11.jar.7z/download">
+									<a href="https://sourceforge.net/projects/mars-sim/files/mars-sim/3.4.0/3.4.0_swing_java11.jar/download">
 									Swing Jar</a></li>
 
 									<li>&nbsp;&nbsp;&nbsp;2.&nbsp; 
-									<a href="https://sourceforge.net/projects/mars-sim/files/mars-sim/3.4.0/3.4.0_headless_java11.jar.7z/download">
+									<a href="https://sourceforge.net/projects/mars-sim/files/mars-sim/3.4.0/3.4.0_headless_java11.jar/download">
 									Headless Jar</a></li>
 
 									<li>&nbsp;&nbsp;&nbsp;3.&nbsp;