| #Fri Sep 07 07:21:41 EDT 2007 | |
| eclipse.preferences.version=1 | |
| encoding//src/org/eclipse/stem/ui/preferences/messages.properties=8859_1 | |
| encoding//src/org/eclipse/stem/ui/views/geographic/map/messages.properties=8859_1 | |
| instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true |