Update template for Eclipse config after refactoring of Ivy config
The file lib/java/runtime/common.jar is now in lib/java/core/
@@ -10,5 +10,5 @@ SPDX-License-Identifier: Apache-2.0
<factorypath>
<factorypathentry kind="WKSPJAR" id="/JavaSMT/lib/java/build/auto-value.jar" enabled="true" runInBatchMode="false"/>
- <factorypathentry kind="WKSPJAR" id="/JavaSMT/lib/java/runtime/common.jar" enabled="true" runInBatchMode="false"/>
+ <factorypathentry kind="WKSPJAR" id="/JavaSMT/lib/java/core/common.jar" enabled="true" runInBatchMode="false"/>
</factorypath>
