devel/jenkins: Update to 2.415

Sponsored by:	The FreeBSD Foundation

devel/jenkins/Makefile

 PORTNAME=	jenkins
-PORTVERSION=	2.414
+PORTVERSION=	2.415
 CATEGORIES=	devel java
 MASTER_SITES=	https://get.jenkins.io/war/${PORTVERSION}/
 DISTNAME=	jenkins

devel/jenkins/distinfo

-TIMESTAMP = 1689410438
-SHA256 (jenkins/2.414/jenkins.war) = 3abbc66edb2b1c062acf0696f64be8067f757d393deb172d07b1c28312b35c3a
-SIZE (jenkins/2.414/jenkins.war) = 89528534
+TIMESTAMP = 1689836843
+SHA256 (jenkins/2.415/jenkins.war) = a22a69402636e20811fae9820cb5f4718106fd9c918de195c150a4535f5b2a7a
+SIZE (jenkins/2.415/jenkins.war) = 89542148