[87143] JSP does not respect TEI VariableInfo
diff --git a/bundles/org.eclipse.jst.jsp.core/.options b/bundles/org.eclipse.jst.jsp.core/.options
index 257a4c3..4739714 100644
--- a/bundles/org.eclipse.jst.jsp.core/.options
+++ b/bundles/org.eclipse.jst.jsp.core/.options
@@ -2,6 +2,7 @@
 org.eclipse.jst.jsp.core/debug/tracefilter=
 org.eclipse.jst.jsp.core/debug/jspindexmanager=false
 org.eclipse.jst.jsp.core/debug/jsptranslation=false
+org.eclipse.jst.jsp.core/debug/jsptranslationstodisk=false
 org.eclipse.jst.jsp.core/debug/jspsearch=false
 
 org.eclipse.jst.jsp.core/taglib/resolve=false
@@ -27,7 +28,6 @@
 org.eclipse.jst.jsp.core/taglib/resolve=false
 
 org.eclipse.jst.jsp.core/debug/jspjavamapping=false
-
 org.eclipse.jst.jsp.core/debug/jspvalidator=false
 org.eclipse.jst.jsp.core/debug/taglibvars=false