From 569a96672223e9219e7bd55cb77dfe87861d1f41 Mon Sep 17 00:00:00 2001
From: Henry Xi <henryxi0316@gmail.com>
Date: Thu, 29 Jan 2026 17:32:21 -0500
Subject: [PATCH 1/3] Update developer manual: use ./gradlew eclipse for VSCode

---
 docs/developer/developer-manual.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/developer/developer-manual.html b/docs/developer/developer-manual.html
index 033a12fdd5e8..c1dc87b1f6df 100644
--- a/docs/developer/developer-manual.html
+++ b/docs/developer/developer-manual.html
@@ -275,7 +275,7 @@ <h2 id="IDE_configuration">IDE configuration</h2>
 </p>
 
 <p>
-For VS Code and Eclipse, run <code>./gradlew eclipseClasspath</code> before running
+For VS Code and Eclipse, run <code>./gradlew eclipse</code> before running
 the IDE for the first time.
 This ensures generated files are not put in the standard <code>../bin/</code> directories.
 </p>

From 96d05264d60689d34bafbe68c85bc8806da264eb Mon Sep 17 00:00:00 2001
From: Henry Xi <henryxi0316@gmail.com>
Date: Thu, 29 Jan 2026 17:41:45 -0500
Subject: [PATCH 2/3] Fix Eclipse source folder nesting errors

---
 build.gradle | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build.gradle b/build.gradle
index 2f7698d9db59..06e8fd0ef09e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -219,6 +219,11 @@ allprojects { currentProj ->
     eclipse.classpath {
         defaultOutputDir = file("build/default")
         file.whenMerged { cp ->
+            // Remove bare 'src/main' source folder entries that cause Eclipse nesting errors.
+            cp.entries.removeAll { e ->
+                e instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder && e.path == 'src/main'
+            }
+
             cp.entries.forEach { cpe ->
                 if (cpe instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder) {
                     cpe.output = cpe.output.replace "bin/", "build/classes/java/"

From aef0d1358c5f8d00f7cf3512a3db0e0353061578 Mon Sep 17 00:00:00 2001
From: Henry Xi <henryxi0316@gmail.com>
Date: Thu, 29 Jan 2026 18:05:05 -0500
Subject: [PATCH 3/3] Update contributors.tex to include Henry Xi

---
 docs/manual/contributors.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/manual/contributors.tex b/docs/manual/contributors.tex
index ed211a6a48ae..83ccd0c903c1 100644
--- a/docs/manual/contributors.tex
+++ b/docs/manual/contributors.tex
@@ -51,6 +51,7 @@
 Hamed Taghani,
 Hannes Greule,
 Heath Borders,
+Henry Xi,
 Ivory Wang,
 Jakub Vr\'ana,
 James Yoo,