diff --git a/.bazelrc b/.bazelrc
index 3c1c6a110..86bbd656b 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -1,3 +1,9 @@
+# This incompatible change was introduced in Bazel 0.26
+# https://github.com/bazelbuild/bazel/issues/5817
+# bazel_pandoc needs to update 
+# https://github.com/ProdriveTechnologies/bazel-pandoc/issues/6
+build --incompatible_depset_union=false
+
 test --test_output=errors
 
 # http://errorprone.info/bugpatterns
diff --git a/.gitignore b/.gitignore
index 3edac033f..5defa9af9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@ jflex/build
 *.ipr
 *.iws
 .idea
+.ijwb
 
 # Eclipse project
 .project
diff --git a/.travis.yml b/.travis.yml
index 444dbd859..e23358a49 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -12,7 +12,7 @@ git:
 language: java
 
 jdk:
-- openjdk9
+- openjdk11
 
 matrix:
   include:
@@ -35,26 +35,9 @@ matrix:
     - scripts/test-regression.sh
   - name: "😎 Examples (mvn, ant, make)"
     script: scripts/test-examples.sh
-  - name: "👴 Examples (mvn, ant, make) — JDK7"
+  - name: "👴 Examples (mvn, ant, make) — JDK8"
     script: scripts/test-examples.sh
-    jdk: openjdk7
-  - name: "📄 Documentation"
-    language: generic
-    install: true
-    addons:
-      apt:
-        packages:
-        # pandoc used for building the doc
-        - pandoc
-        - pandoc-citeproc
-        # texlive used for PDF output
-        - texlive
-        # texlive-latex-extra provides extra styles such as a4wide and upquote.sty
-        - texlive-latex-extra
-        # lmodern.sty
-        - lmodern
-    script:
-    - cd docs; make; cd ..
+    jdk: openjdk8
 
 # Empty the previously built artifacts
 # They cannot be deleted in the before_cache phase,
@@ -111,4 +94,3 @@ deploy:
     condition:
     - $PUBLISH_SOURCES
   script: scripts/deploy-aggregated-sources.sh
-
diff --git a/WORKSPACE b/WORKSPACE
index b0d28c5b8..3d0a5fd56 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -8,7 +8,7 @@ load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
 git_repository(
     name = "jflex_rules",
     remote = "https://github.com/jflex-de/bazel_rules.git",
-    tag = "v3",
+    tag = "v4",
 )
 
 load("@jflex_rules//jflex:deps.bzl", "jflex_deps")
@@ -28,12 +28,20 @@ load("@bazel_pandoc//:repositories.bzl", "pandoc_repositories")
 pandoc_repositories()
 
 # latex rule to build PDF from tex files
-
-http_archive(
+#
+#http_archive(
+#    name = "bazel_latex",
+#    sha256 = "b4dd9ae76c570b328be30cdc5ea7045a61ecd55e4e6e2e433fb3bb959be2a44b",
+#    strip_prefix = "bazel-latex-0.16",
+#    url = "https://github.com/ProdriveTechnologies/bazel-latex/archive/v0.16.tar.gz",
+#)
+#
+# This is a proposed fix for `OSError: [Errno 13] Permission denied: run_lualatex.py`
+# https://github.com/ProdriveTechnologies/bazel-latex/issues/23
+git_repository(
     name = "bazel_latex",
-    sha256 = "b4dd9ae76c570b328be30cdc5ea7045a61ecd55e4e6e2e433fb3bb959be2a44b",
-    strip_prefix = "bazel-latex-0.16",
-    url = "https://github.com/ProdriveTechnologies/bazel-latex/archive/v0.16.tar.gz",
+    commit = "1ba1fb087b8526cfe28c7c31471f412107ee6f09",
+    remote = "https://github.com/Selmaai/bazel-latex.git",
 )
 
 load("@bazel_latex//:repositories.bzl", "latex_repositories")
diff --git a/cup-maven-plugin/pom.xml b/cup-maven-plugin/pom.xml
index 729943e09..af630c2d0 100644
--- a/cup-maven-plugin/pom.xml
+++ b/cup-maven-plugin/pom.xml
@@ -77,16 +77,4 @@
     </dependency>
   </dependencies>
 
-  <build>
-    <plugins>
-      <plugin>
-        <groupId>org.apache.maven.plugins</groupId>
-        <artifactId>maven-compiler-plugin</artifactId>
-        <configuration>
-          <source>1.7</source>
-          <target>1.7</target>
-        </configuration>
-      </plugin>
-    </plugins>
-  </build>
 </project>
diff --git a/cup/pom.xml b/cup/pom.xml
index d2f66a6e1..1b79b062a 100644
--- a/cup/pom.xml
+++ b/cup/pom.xml
@@ -74,7 +74,7 @@
       <plugins>
         <plugin>
         <artifactId>maven-compiler-plugin</artifactId>
-          <version>3.7.0</version>
+          <version>3.8.0</version>
         </plugin>
         <plugin>
           <artifactId>maven-deploy-plugin</artifactId>
diff --git a/pom.xml b/pom.xml
index 4782826ca..fe2f6a60d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -205,7 +205,7 @@
         </plugin>
         <plugin>
           <artifactId>maven-compiler-plugin</artifactId>
-          <version>3.7.0</version>
+          <version>3.8.0</version>
         </plugin>
         <plugin>
           <artifactId>maven-deploy-plugin</artifactId>
@@ -253,7 +253,11 @@
         </plugin>
         <plugin>
           <artifactId>maven-javadoc-plugin</artifactId>
-          <version>2.10.1</version>
+          <version>3.1.1</version>
+          <configuration>
+            <!-- https://bugs.openjdk.java.net/browse/JDK-8212233 -->
+            <source>8</source>
+          </configuration>
         </plugin>
         <plugin>
           <artifactId>maven-jar-plugin</artifactId>
@@ -282,7 +286,7 @@
         </plugin>
         <plugin>
           <artifactId>maven-site-plugin</artifactId>
-          <version>3.6</version>
+          <version>3.8.2</version>
         </plugin>
         <plugin>
           <artifactId>maven-source-plugin</artifactId>
@@ -290,7 +294,7 @@
         </plugin>
         <plugin>
           <artifactId>maven-surefire-plugin</artifactId>
-          <version>2.20.1</version>
+          <version>3.0.0-M3</version>
         </plugin>
       </plugins>
     </pluginManagement>
@@ -300,8 +304,8 @@
       <plugin>
         <artifactId>maven-compiler-plugin</artifactId>
         <configuration>
-          <source>1.7</source>
-          <target>1.7</target>
+          <source>8</source>
+          <target>8</target>
         </configuration>
       </plugin>
       <plugin>
@@ -444,35 +448,30 @@
     <profile>
       <id>error-prone</id>
       <activation>
-        <jdk>[1.8,)</jdk>
+        <jdk>[1.9,)</jdk>
+        <property>
+          <name>DISABLED</name>
+        </property>
       </activation>
       <build>
         <plugins>
           <plugin>
             <artifactId>maven-compiler-plugin</artifactId>
             <configuration>
-              <compilerId>javac-with-errorprone</compilerId>
-              <forceJavacCompilerUse>true</forceJavacCompilerUse>
+              <source>8</source>
+              <target>8</target>
               <compilerArgs>
-                <arg>-Xep:FallThrough:WARN</arg>
+                <arg>-XDcompilePolicy=simple</arg>
+                <arg>-Xplugin:ErrorProne -Xep:FallThrough:WARN</arg>
               </compilerArgs>
-              <source>1.7</source>
-              <target>1.7</target>
+              <annotationProcessorPaths>
+                <path>
+                  <groupId>com.google.errorprone</groupId>
+                  <artifactId>error_prone_core</artifactId>
+                  <version>2.3.3</version>
+                </path>
+              </annotationProcessorPaths>
             </configuration>
-            <dependencies>
-              <dependency>
-                <groupId>org.codehaus.plexus</groupId>
-                <artifactId>plexus-compiler-javac-errorprone</artifactId>
-                <version>2.8</version>
-              </dependency>
-              <!-- override plexus-compiler-javac-errorprone's dependency on
-                   Error Prone with the latest version -->
-              <dependency>
-                <groupId>com.google.errorprone</groupId>
-                <artifactId>error_prone_core</artifactId>
-                <version>2.1.1</version>
-              </dependency>
-            </dependencies>
           </plugin>
         </plugins>
       </build>
diff --git a/scripts/compile-aggregated-java-sources.sh b/scripts/compile-aggregated-java-sources.sh
index 9004df924..f06511aaa 100755
--- a/scripts/compile-aggregated-java-sources.sh
+++ b/scripts/compile-aggregated-java-sources.sh
@@ -20,6 +20,7 @@ mvnget() {
 
 mvnget org/apache/ant/ant/1.7.0/ant-1.7.0.jar
 mvnget com/google/auto/value/auto-value-annotations/1.6.2/auto-value-annotations-1.6.2.jar
+mvnget javax/annotation/javax.annotation-api/1.3.2/javax.annotation-api-1.3.2.jar
 
 CP=${CP##:}  # Remove leading ':'
 javac -cp "$CP" $(find . -name '*.java')
diff --git a/third_party/deps.bzl b/third_party/deps.bzl
index 705cb2528..d6b95a53e 100644
--- a/third_party/deps.bzl
+++ b/third_party/deps.bzl
@@ -33,20 +33,20 @@ def third_party_deps():
     native.maven_jar(
         name = "com_google_auto_value_auto_value",
         artifact = "com.google.auto.value:auto-value:jar:1.4.1",
-        repository = "http://jcenter.bintray.com/",
+        repository = "https://jcenter.bintray.com/",
     )
     native.maven_jar(
         name = "com_google_guava_guava",
         artifact = "com.google.guava:guava:jar:26.0-jre",
-        repository = "http://jcenter.bintray.com/",
+        repository = "https://jcenter.bintray.com/",
     )
     native.maven_jar(
         name = "com_google_truth_truth",
         artifact = "com.google.truth:truth:0.36",
-        repository = "http://jcenter.bintray.com/",
+        repository = "https://jcenter.bintray.com/",
     )
     native.maven_jar(
         name = "junit_junit",
         artifact = "junit:junit:jar:4.12",
-        repository = "http://jcenter.bintray.com/",
+        repository = "https://jcenter.bintray.com/",
     )