eclipse / gerrit / jsdt / webtools.jsdt / 9484b478e26a80865bd2f03a93935a8dfcabc72f / . / bundles / org.eclipse.wst.jsdt.debug.rhino.ui / src / org / eclipse / wst / jsdt / debug / internal / rhino / ui / preferences