Searching in docs/plugins/org.eclipse.jst.jsf.doc.dev/html