diff --git a/build.gradle b/build.gradle
index eec1f05cc42b3db79eafa5559bafefcc057271b3..a79786034eb468acefb7ffcee9157fef5b6a3965 100644
--- a/build.gradle
+++ b/build.gradle
@@ -53,16 +53,6 @@ java {
 	withJavadocJar()
 }
 
-javadoc {
-	// Needed because of:
-	// .../bparser-2.9.14.jar(de/be4/classicalb/core/parser/exceptions/PreParseException.java):3: error: cannot access Token
-	//   bad source file: .../bparser-2.9.14.jar(de/be4/classicalb/core/preparser/node/Token.java)
-	//    file does not contain class de.be4.classicalb.core.preparser.node.Token
-	//    Please remove or make sure it appears in the correct subdirectory of the sourcepath.
-	// FIXME Can this be fixed by updating the parser?
-	failOnError = false
-}
-
 jacoco {
 	toolVersion = "0.8.7"
 	reportsDirectory = file("$buildDir/JacocoReports")