export eclipse/preferences