[jbosstools-dev] .settings in o.j.ide.eclipse.as.core