public static Vector<String> makeReserved(String packName) {
Vector<String> r1 = new Vector<String>();
String packFilter = packName + ".External_";
//System.out.println("makeReserved: "+ packName);
ListPackageContents lpc = new ListPackageContents(packName, false);
Iterator<String> iter = lpc.getPackageContents().iterator();
while (iter.hasNext()) {
String item = iter.next();
//System.out.println("makeReserved : "+item);
if (item.startsWith(packFilter) && (item.indexOf('$') < 0)) {
r1.addElement(item);