Merge pull request #1131 from sgk/ide15i18n

Hack to include phrases from "platform.txt".

Author: cmaglie

app/src/processing/app/Base.java

@@ -1014,7 +1014,14 @@ public void actionPerformed(ActionEvent e) {
       PreferencesMap prefs = getTargetPlatform().getPreferences();
       String targetname = prefs.get("name");
 
-      JMenuItem platformItem = new JMenuItem(targetname);
+      if (false) {
+	// Hack to extract these words by gettext tool.
+	// These phrases are actually defined in the "platform.txt".
+	String notused = _("Arduino AVR Boards");
+	notused = _("Arduino ARM (32-bits) Boards");
+      }
+
+      JMenuItem platformItem = new JMenuItem(_(targetname));
       platformItem.setEnabled(false);
       importMenu.add(platformItem);
       if (ideLibs.size()>0) {
@@ -1189,7 +1196,7 @@ public void rebuildBoardsMenu(JMenu toolsMenu, final Editor editor) {
         }
         first = false;
 
-        JMenuItem separator = new JMenuItem(targetPlatform.getPreferences().get("name"));
+        JMenuItem separator = new JMenuItem(_(targetPlatform.getPreferences().get("name")));
         separator.setEnabled(false);
         boardsMenu.add(separator);