119120121122123124125126127128129
} String pkgs = reader.getAttribute("packages"); if (pkgs != null) { for (String pkg : pkgs.split(",")) { kBase.addPackage(pkg.trim()); } } String includes = reader.getAttribute("includes"); if (includes != null) {