platforms.addAll(pkg.getPlatforms());
}
}
return platforms;
}
<BUG>public static IPath getPlatformFile(String vendor, String architecture) {
</BUG>
for (PackageIndex index : packageIndices) {
for (Package pkg : index.getPackages()) {
for (ArduinoPlatform curPlatform : pkg.getInstalledPlatforms()) {

platforms.addAll(pkg.getPlatforms());
}
}
return platforms;
}
public static IPath getPlatformInstallPath(String vendor, String architecture) {
for (PackageIndex index : packageIndices) {
for (Package pkg : index.getPackages()) {
for (ArduinoPlatform curPlatform : pkg.getInstalledPlatforms()) {
