Rename .settings/org.eclipse.jdt.core.prefs to Mario/.settings/org.eclipse.jdt.core.prefs