Added EDITOR_FOLDING_* preferences.
Added default values for new EDITOR_FOLDING_* preference values.
Added DefaultJavaFoldingPreferenceBlock_* properties.