Upgrade to vertx-base 2.2 and fix Checker tainting checks (#28)

* Make sure Checker uses database library stubs

* Upgrade vertx-base to 2.2

Author: garricko

pom.xml

@@ -87,7 +87,7 @@
         <dependency>
             <groupId>com.github.susom</groupId>
             <artifactId>vertx-base</artifactId>
-            <version>2.0</version>
+            <version>2.2</version>
         </dependency>
         <dependency>
             <groupId>com.github.susom</groupId>
@@ -582,8 +582,7 @@
                             <fork>true</fork>
                             <annotationProcessors>
                                 <!--<annotationProcessor>org.checkerframework.checker.nullness.NullnessChecker</annotationProcessor>-->
-                                <annotationProcessor>org.checkerframework.checker.tainting.TaintingChecker
-                                </annotationProcessor>
+                                <annotationProcessor>org.checkerframework.checker.tainting.TaintingChecker</annotationProcessor>
                             </annotationProcessors>
                             <compilerArgs>
                                 <arg>-J-Xmx1g</arg>
@@ -593,6 +592,7 @@
                                 <arg>-AprintErrorStack</arg>
                                 <arg>-AprintAllQualifiers</arg>
                                 <arg>-AatfCacheSize=400</arg>
+                                <arg>-Astubs=${com.github.susom:database:jar}</arg>
                             </compilerArgs>
                         </configuration>
                     </plugin>