plugins/org.eclipse.dltk.javascript.core/.options - gerrit/dltk/org.eclipse.dltk.javascript - Git at Google

 org.eclipse.dltk.javascript.core/traceTypeSystem = false