public - Revision 1108: /jcterm/trunk/.settings

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