public String toString() {
		String ret = "";
		if (filename != null) {
			ret += filename;
		}
		if (isRuntimeCode()) {
			if (!ret.equals("")) {
				ret += ";";
			}
			ret += "runtime";
		}
		return "[" + ret + "]";
	}