/org.eclipse.vex.xhtml/.settings/