diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java
index bb5b14231..33531a56c 100644
--- a/java/src/processing/mode/java/JavaEditor.java
+++ b/java/src/processing/mode/java/JavaEditor.java
@@ -294,7 +294,7 @@ public class JavaEditor extends Editor {
     menu.add(item);
 
     item = new JMenuItem(Language.text("menu.help.environment"));
-    item.addActionListener(e -> showReference("environment" + File.separator + "index.html"));
+    item.addActionListener(e -> showReference("environment/index.html"));
     menu.add(item);
 
     item = new JMenuItem(Language.text("menu.help.reference"));