diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java index a9dc2a503..cec82432c 100644 --- a/java/src/processing/mode/java/JavaEditor.java +++ b/java/src/processing/mode/java/JavaEditor.java @@ -833,7 +833,8 @@ public class JavaEditor extends Editor { // "" + "Embedding Java will make the " + platformName + " application " + "larger, but it will be far more likely to work. " + - "Users on other platforms will need to install Java 7."; + "Users on other platforms will need to " + + "install Java " + PApplet.javaVersionShort + "."; final String nopeWarning = "
" + // "" +