From 036ade6a926fdc54b7660766763a9df34ffe802f Mon Sep 17 00:00:00 2001
From: Aleksandar Kurtakov <akurtakov@gmail.com>
Date: Wed, 16 Apr 2025 13:38:45 +0300
Subject: [PATCH] Enable quality gate for javadoc issues

An effort to make Jenkins complain about javadoc issues like the fixed
with https://github.com/eclipse-platform/eclipse.platform/pull/1826 at
the time of introducing them.
---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 758e67578c3..7ca30581dce 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,10 +37,11 @@ pipeline {
 					recordIssues enabledForFailure: true, publishAllIssues:false, ignoreQualityGate:true,
 						tools: [
 							eclipse(name: 'Compiler', pattern: '**/target/compilelogs/*.xml'),
+							javaDoc(),
 							issues(name: 'API Tools', id: 'apitools', pattern: '**/target/apianalysis/*.xml')
 						],
 						qualityGates: [[threshold: 1, type: 'DELTA', unstable: true]]
-					recordIssues enabledForFailure: true, publishAllIssues:false, tools: [mavenConsole(), javaDoc()]
+					recordIssues enabledForFailure: true, publishAllIssues:false, tools: [mavenConsole()]
 				}
 			}
 		}