change configuration dependency from `runtime` to `core`
<dependencies>
<!-- SoSy-Lab Common Library -->
- <dependency org="org.sosy_lab" name="common" rev="0.3000-420-gef84297" conf="runtime->runtime; contrib->sources"/>
+ <dependency org="org.sosy_lab" name="common" rev="0.3000-420-gef84297" conf="core->runtime; contrib->sources"/>
<!-- Google Core Libraries for Java
Contains a lot of helpful data structures. -->
<!-- SpotBugs -->
<dependency org="com.github.spotbugs" name="spotbugs-ant" rev="3.1.12" conf="spotbugs->default"/>
<!-- JAR with annotations needs to be present at runtime because we use Nullable.class -->
- <dependency org="com.github.spotbugs" name="spotbugs-annotations" rev="3.1.12" conf="runtime->default; contrib->sources"/>
- <dependency org="com.google.code.findbugs" name="jsr305" rev="3.0.2" conf="runtime->default; contrib->sources"/>
+ <dependency org="com.github.spotbugs" name="spotbugs-annotations" rev="3.1.12" conf="core->default; contrib->sources"/>
+ <dependency org="com.google.code.findbugs" name="jsr305" rev="3.0.2" conf="core->default; contrib->sources"/>
<!-- Checkstyle -->
<dependency org="com.github.sevntu-checkstyle" name="sevntu-checks" rev="1.37.1" conf="checkstyle->default"/>
because the latter does not provide a separate JAR for java-cup-runtime. -->
<exclude org="net.sf.squirrel-sql.thirdparty-non-maven" name="java-cup"/>
</dependency>
- <dependency org="edu.tum.cs" name="java-cup" rev="11b-20160615" conf="runtime->runtime"/>
+ <dependency org="edu.tum.cs" name="java-cup" rev="11b-20160615" conf="runtime-princess->runtime"/>
<!-- Solver Binaries -->
<dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.6.3-sosy0" conf="runtime-mathsat->solver-mathsat" />
<!-- Several JARs declare animal-sniffer-annotations.jar as dependency in their manifest although they do not really need it.
As long as this is the case we need to provide the JAR, otherwise javac complains. -->
- <dependency org="org.codehaus.mojo" name="animal-sniffer-annotations" rev="1.18" conf="runtime->default;"/>
+ <dependency org="org.codehaus.mojo" name="animal-sniffer-annotations" rev="1.18" conf="core->default;"/>
<!-- Guava has a dependency on error_prone_annotations without a revision number, need an override. -->
<override org="com.google.errorprone" module="error_prone_annotations" rev="2.4.0"/>
