svnkit - Revision 9238: /branches/1.7-split2.2-trunk/.settings

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