for (PackageIndex index : packageIndices) {
for (Package pkg : index.getPackages()) {
for (ArduinoPlatform curPlatform : pkg.getInstalledPlatforms()) {
if (architecture.equalsIgnoreCase(curPlatform.getArchitecture())
&& (vendor.equalsIgnoreCase(pkg.getName()))) {
<BUG>return new org.eclipse.core.runtime.Path(curPlatform.getPlatformFile().toString());
</BUG>
}
}
}

for (PackageIndex index : packageIndices) {
for (Package pkg : index.getPackages()) {
platforms.addAll(pkg.getPlatforms());
