Method safe

src/main/java/fieldbox/io/IO.java:762–765

(String filename)

	}

	private String makeDataFilenameFor(String defaultSubDirectory, External ex, Box box) {
//		if (ex.textFiles.size() > 0) {
//			return ex.textFiles.values()
//					   .iterator()
//					   .next() + ".box";
//		}
		return makeFilenameFor(defaultSubDirectory, ".box", "", box);