__DATE__ should expand with the name of the month in English

Contributed by STMicroelectronics

Signed-off-by: Torbjörn Svensson <[email protected]>

core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/parser/scanner/DateMacro.java

@@ -16,6 +16,7 @@
 
 import java.text.DateFormatSymbols;
 import java.util.Calendar;
+import java.util.Locale;
 
 import org.eclipse.cdt.core.parser.IToken;
 
@@ -33,7 +34,7 @@ private char[] createDate() {
 		char[] charArray;
 		StringBuilder buffer = new StringBuilder("\""); //$NON-NLS-1$
 		Calendar cal = Calendar.getInstance();
-		DateFormatSymbols dfs = new DateFormatSymbols();
+		DateFormatSymbols dfs = new DateFormatSymbols(Locale.ENGLISH);
 		buffer.append(dfs.getShortMonths()[cal.get(Calendar.MONTH)]);
 		buffer.append(" "); //$NON-NLS-1$
 		int dom = cal.get(Calendar.DAY_OF_MONTH);