armbrust-file-utils - Revision 25: /trunk/BackupTool/.settings

• ..
• org.eclipse.jdt.core.prefs
• org.eclipse.jdt.ui.prefs