diff --git a/java/jsp-base-openapi/src/com/intellij/lang/jsp/JspVersion.java b/java/jsp-base-openapi/src/com/intellij/lang/jsp/JspVersion.java index 42a655faca72..7af85ef96068 100644 --- a/java/jsp-base-openapi/src/com/intellij/lang/jsp/JspVersion.java +++ b/java/jsp-base-openapi/src/com/intellij/lang/jsp/JspVersion.java @@ -72,6 +72,19 @@ public interface JspVersion { } }; + JspVersion JSP_4_0 = new JspVersion() { + + @Override + public String getNumber() { + return "4.0"; + } + + @Override + public boolean betterThan(JspVersion other) { + return getNumber().compareTo(other.getNumber()) > 0; + } + }; + JspVersion MAX_VERSION = JSP_2_3; String getNumber();