Added/updated cvc3 dependency (draft).

src/eu.aniketos.dasca.dataflow/META-INF/MANIFEST.MF

@@ -5,19 +5,12 @@ Bundle-SymbolicName: eu.aniketos.dasca.dataflow;singleton:=true
 Bundle-Version: 0.1.0
 Bundle-Activator: eu.aniketos.dasca.dataflow.Activator
 Require-Bundle: org.junit,
- org.eclipse.jdt.core,
- com.ibm.wala.cast,
- com.ibm.wala.cast.java,
- com.ibm.wala.ide,
- com.ibm.wala.core,
- com.ibm.wala.core.tests,
- com.ibm.wala.shrike,
- com.ibm.wala.ide.jdt,
  org.apache.log4j
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Import-Package: org.eclipse.ui.wizards.datatransfer
 Bundle-ClassPath: .,
+ libcvc3-5.0.0.jar,
  walaUtil.jar,
  junit.jar,
  ant-antlr.jar,
@@ -42,7 +35,6 @@ Bundle-ClassPath: .,
  ant-swing.jar,
  ant-testutil.jar,
  ant.jar,
- libcvc3-5.0.0.jar,
  jdi.jar,
  jdimodel.jar,
  pdebuild.jar

src/eu.aniketos.dasca.dataflow/pom.xml

@@ -11,4 +11,13 @@
   <version>0.1.0</version>
   <packaging>eclipse-plugin</packaging>
   <name>DASCA - Dataflow Analysis</name>
+  <dependencies>
+    <dependency>
+      <groupId>cvc3</groupId>
+      <artifactId>cvc3</artifactId>
+      <version>1.0</version>
+      <scope>system</scope>
+      <systemPath>${project.basedir}/lib/libcvc3-5.0.0.jar</systemPath>
+    </dependency>
+  </dependencies>
 </project>