update sat4j to stable and non-deleted url

maps/org.eclipse.releng/maps/orbit.map

diff --git a/maps/org.eclipse.releng/maps/orbit.map b/maps/org.eclipse.releng/maps/orbit.map
index 6a34633..23323e7 100644
--- a/maps/org.eclipse.releng/maps/orbit.map
+++ b/maps/org.eclipse.releng/maps/orbit.map
@@ -48,6 +48,6 @@
 plugin@org.objectweb.asm.source,3.1.0=GET,http://download.eclipse.org/tools/orbit/downloads/drops/I20080418014611/bundles/org.objectweb.asm.source_3.1.0.v200803061910.jar
 
 !# SAT4J
-plugin@org.sat4j.core,2.0.0=GET,http://download.eclipse.org/tools/orbit/committers/drops/I20080422010118/bundles/org.sat4j.core_2.0.0.v20080421.jar
-plugin@org.sat4j.pb,2.0.0=GET,http://download.eclipse.org/tools/orbit/committers/drops/I20080422010118/bundles/org.sat4j.pb_2.0.0.v20080421.jar
+plugin@org.sat4j.core,2.0.0=GET,http://download.eclipse.org/tools/orbit/downloads/drops/I20080423204617/bundles/org.sat4j.core_2.0.0.v20080421.jar
+plugin@org.sat4j.pb,2.0.0=GET,http://download.eclipse.org/tools/orbit/downloads/drops/I20080423204617/bundles/org.sat4j.pb_2.0.0.v20080421.jar