Update template for Eclipse config after refactoring of Ivy config
Update template for Eclipse config after refactoring of Ivy config

The file lib/java/runtime/common.jar is now in lib/java/core/

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt