boards that have no platform.txt default to default tools

The redirect test shows this error

Author: jantje

io.sloeber.core/src/io/sloeber/core/api/BoardDescription.java

@@ -890,6 +890,7 @@ public Map<String, String> getEnvVars() {
         allVars.put(ENV_KEY_REFERENCED_VARIANT_PLATFORM_PATH, getReferencedVariantPlatformPath().toOSString());
         allVars.put(ENV_KEY_REFERENCED_UPLOAD_PLATFORM_PATH, getReferencedUploadPlatformPath().toOSString());
 
+
         PlatformTxtFile referencedPlatfromFile = getreferencedPlatformFile();
         // process the platform file referenced by the boards.txt
         if (referencedPlatfromFile != null) {
@@ -901,8 +902,11 @@ public Map<String, String> getEnvVars() {
             allVars.putAll(referencingPlatfromFile.getAllEnvironVars());
         }
 
+        // put in the installed tools info
         allVars.putAll(getEnVarPlatformInfo());
 
+
+
         Programmers localProgrammers[] = Programmers.fromBoards(this);
         String programmer = getProgrammer();
         for (Programmers curProgrammer : localProgrammers) {
@@ -937,15 +941,16 @@ public Map<String, String> getEnvVars() {
     }
 
     private Map<String, String> getEnVarPlatformInfo() {
-        if ((getReferencingPlatformFile() == null) || (getreferencedPlatformFile() == null)) {
+        IPath referencingPlatformPath = getreferencingPlatformPath();
+        IPath referencedPlatformPath = getReferencedCorePlatformPath();
+
+        if ((referencingPlatformPath == null) || (referencedPlatformPath == null)) {
             // something is seriously wrong -->shoot
             return new HashMap<>();
         }
-        File referencingPlatformFile = getReferencingPlatformFile().getTxtFile();
-        ArduinoPlatform referencingPlatform = InternalPackageManager.getPlatform(referencingPlatformFile);
-        File referencedPlatformFile = getreferencedPlatformFile().getTxtFile();
 
-        ArduinoPlatform referencedPlatform = InternalPackageManager.getPlatform(referencedPlatformFile);
+        ArduinoPlatform referencingPlatform = InternalPackageManager.getPlatform(referencingPlatformPath);
+        ArduinoPlatform referencedPlatform = InternalPackageManager.getPlatform(referencedPlatformPath);
 
         boolean jsonBasedPlatformManagement = !Preferences.getUseArduinoToolSelection();
         if (jsonBasedPlatformManagement) {

io.sloeber.core/src/io/sloeber/core/managers/InternalPackageManager.java

@@ -237,11 +237,11 @@ public static IPath getPlatformInstallPath(String refVendor, String refArchitect
 	 * @param platformTxt
 	 * @return the found platform otherwise null
 	 */
-	public static ArduinoPlatform getPlatform(File platformTxt) {
+    public static ArduinoPlatform getPlatform(IPath platformPath) {
 		for (PackageIndex index : getPackageIndices()) {
 			for (Package pkg : index.getPackages()) {
 				for (ArduinoPlatform curPlatform : pkg.getPlatforms()) {
-					if (curPlatform.getPlatformFile().equals(platformTxt)) {
+                    if (curPlatform.getInstallPath().equals(platformPath)) {
 						return curPlatform;
 					}
 				}