Merge branch 'libs' into 'master'

Spotless

See merge request !96

gradle/spotless.gradle

@@ -14,7 +14,7 @@ apply plugin: "com.diffplug.gradle.spotless"
 spotless {
   /* Java formatting */
   java {
-    targetExclude "**/build", "bin", "**/Scratch*.java", "tmp", "lib"
+    targetExclude "**/build", "bin", "**/Scratch*.java", "tmp", "libs"
 
     removeUnusedImports()
 
@@ -43,7 +43,7 @@ spotless {
   /* Markdown, YAML, .gitignore, Bash, and Dockerfile formatting */
   format "misc", {
     target "**/*.md", "**/*.yml", "**/.gitgnore", "**/*.sh", "**/*Dockerfile"
-    targetExclude "**/build", ".gradle", ".settings", "tmp", "lib"
+    targetExclude "**/build", ".gradle", ".settings", "tmp", "libs"
     trimTrailingWhitespace()
     indentWithSpaces(2)
     endWithNewline()
@@ -54,7 +54,7 @@ spotless {
   format "xml", {
     target fileTree(".") {
       include "**/*.xml"
-      exclude "**/build", ".settings", ".classpath", ".project", "tmp", ".gradle", "lib"
+      exclude "**/build", ".settings", ".classpath", ".project", "tmp", ".gradle", "libs"
     }
     eclipseWtp("xml")
     indentWithSpaces(2)