From af384aee438bc463f0b7b3931ec0e721f1959638 Mon Sep 17 00:00:00 2001 From: Lars Vogel Date: Mon, 18 May 2026 10:03:26 +0200 Subject: [PATCH] Drop stale event-type count from IResourceChangeEvent class Javadoc The class Javadoc claimed "There are currently five different types of resource change events" but the bullet list immediately below it enumerates six (PRE_BUILD, POST_BUILD, POST_CHANGE, PRE_CLOSE, PRE_DELETE, PRE_REFRESH). The count drifted when PRE_REFRESH was added and would drift again whenever a new type is introduced, so replace the count with "The following types of resource change events are reported:". --- .../src/org/eclipse/core/resources/IResourceChangeEvent.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/IResourceChangeEvent.java b/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/IResourceChangeEvent.java index b4d0d30fb93..2d4ad4be70f 100644 --- a/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/IResourceChangeEvent.java +++ b/resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/IResourceChangeEvent.java @@ -18,7 +18,7 @@ /** * Resource change events describe changes to resources. *

- * There are currently five different types of resource change events: + * The following types of resource change events are reported: *