eclipse.preferences.version=1
editors/options/Parameters.background=39,40,34
editors/options/Parameters.foreground=207,191,173
editors/options/Proposals.background=39,40,34
editors/options/Proposals.foreground=207,191,173