org.eclipse.core.resources.prefs 85 Bytes EditWeb IDE 1 2 3 eclipse.preferences.version=1 encoding/<project>=UTF-8 separateDerivedEncodings=true