jni-desktop - Revision 16: /tags/jni-desktop-0.1.0/.settings
..
org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs