eclipse / gerrit / jsdt / webtools.jsdt / 03840a9945820de4fa6836801ee3b30291976c3a / . / bundles / org.eclipse.wst.jsdt.debug.rhino.ui / src / org / eclipse / wst / jsdt / debug / internal / rhino / ui / preferences