4.0.0 io.github.o2alexanderfedin.javafv java-fv-parent 13.1 lsp jar Java-FV LSP Server Language Server Protocol implementation for Java-FV formal verification 0.24.0 org.eclipse.lsp4j org.eclipse.lsp4j ${lsp4j.version} io.github.o2alexanderfedin.javafv compiler-plugin ${project.version} io.github.o2alexanderfedin.javafv verifier ${project.version} io.github.o2alexanderfedin.javafv java-fv-yices ${project.version} com.google.code.gson gson 2.10.1 com.github.ben-manes.caffeine caffeine org.slf4j slf4j-api ch.qos.logback logback-classic org.junit.jupiter junit-jupiter-api test org.junit.jupiter junit-jupiter-engine test org.assertj assertj-core test org.mockito mockito-core test org.mockito mockito-junit-jupiter test io.github.o2alexanderfedin.javafv java-fv-annotations ${project.version} test org.openjdk.jmh jmh-core 1.37 test org.openjdk.jmh jmh-generator-annprocess 1.37 test org.apache.maven.plugins maven-compiler-plugin test-compile-with-jmh test-compile testCompile org.openjdk.jmh jmh-generator-annprocess 1.37 org.apache.maven.plugins maven-surefire-plugin org.apache.maven.plugins maven-assembly-plugin io.github.o2alexanderfedin.javafv.lsp.JavaFVLanguageServerLauncher jar-with-dependencies java-fv-lsp make-assembly package single