From 5871126dca5aba4816750ddb47d9fae22f54a43c Mon Sep 17 00:00:00 2001
From: Phillipus <p.beauvoir@dadabeatnik.com>
Date: Thu, 30 May 2024 23:57:11 +0100
Subject: [PATCH] Fire the correct property in Product#setIncludeJre

The property should be P_INCLUDE_JRE not P_INCLUDE_LAUNCHERS

See https://github.com/eclipse-pde/eclipse.pde/issues/1278
---
 .../src/org/eclipse/pde/internal/core/product/Product.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/product/Product.java b/ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/product/Product.java
index e8c59ae077..5a59a43f40 100644
--- a/ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/product/Product.java
+++ b/ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/product/Product.java
@@ -900,7 +900,7 @@ public void setIncludeJre(boolean include) {
 		boolean old = fIncludeJre;
 		fIncludeJre = include;
 		if (isEditable()) {
-			firePropertyChanged(P_INCLUDE_LAUNCHERS, Boolean.toString(old), Boolean.toString(fIncludeJre));
+			firePropertyChanged(P_INCLUDE_JRE, Boolean.toString(old), Boolean.toString(fIncludeJre));
 		}
 
 	}