SREsPreferencePage_0=Add, remove, or edit SRE definitions. By default, the checked SRE is used for running SARL projects.
SREsPreferencePage_1=Installed SREs:
SREsPreferencePage_10=Reset
SREsPreferencePage_2=Name
SREsPreferencePage_3=Location
SREsPreferencePage_4=Add...
SREsPreferencePage_5=Edit...
SREsPreferencePage_6=Duplicate...
SREsPreferencePage_7=Remove
SREsPreferencePage_8=You must specify a default SRE.
SREsPreferencePage_9=Internal Error: {0}
SarlEditorPreferencePage_0=Formatting on paste actions
SarlEditorPreferencePage_1=Show codemining annotations

SREsPreferencePage_0=Add, remove, or edit SRE definitions. By default, the checked SRE is used for running SARL projects.
SREsPreferencePage_1=Installed SREs:
SREsPreferencePage_10=Reset
SREsPreferencePage_2=Name
SREsPreferencePage_3=Location
SREsPreferencePage_4=Add...
SREsPreferencePage_5=Edit...
SREsPreferencePage_6=Duplicate...
SREsPreferencePage_7=Remove
SREsPreferencePage_8=You must specify a default SRE.
SREsPreferencePage_9=Internal Error: {0}
SarlEditorPreferencePage_0=Auto formatting of the inserted code on paste actions
SarlEditorPreferencePage_1=Show implicit SARL code in the editors (codemining)

Change the label of the "code mining" option in the SARL preferences.
[eclipse] Change the label of the "code mining" option in the SARL preferences.

see #1041

Signed-off-by: Stéphane Galland <23860b554af9116d4237121086bd6767cdd4ff4b@arakhne.org>
