Bevorzugte Eclipse-Einstellungen als *.epf