if (auxClasspath == null) { auxClasspath = src; } else { auxClasspath.append(src);
boolean nonEmpty = false;  String[] elementList = src.list(); for (int i = 0; i < elementList.length; ++i) { if (!elementList[i].equals("")) { nonEmpty = true; break; } }  if (nonEmpty) { if (auxClasspath == null) { auxClasspath = src; } else { auxClasspath.append(src); }
	public void setAuxClasspath(Path src) {		if (auxClasspath == null) {			auxClasspath = src;		} else {			auxClasspath.append(src);		}	}