public static int fileType(File f) {
		String n = f.getName();
		if (BZip2Utils.isCompressedFilename(n))
			n = BZip2Utils.getUncompressedFilename(n);
		if (GzipUtils.isCompressedFilename(n))
			n = GzipUtils.getUncompressedFilename(n);
		if (n.endsWith(".isc"))
			return FileTools.FILE_TYPE_ISCAS;
		if (n.endsWith(".bench"))
			return FileTools.FILE_TYPE_BENCH;
		if (n.endsWith(".vhdl"))
			return FileTools.FILE_TYPE_VHDL;
		if (n.endsWith(".vhd"))
			return FileTools.FILE_TYPE_VHDL;
		if (n.endsWith(".dot"))
			return FileTools.FILE_TYPE_DOT;
		if (n.endsWith(".v"))
			return FileTools.FILE_TYPE_VERILOG;
		if (n.endsWith(".vg"))
			return FileTools.FILE_TYPE_VERILOG;
		return FileTools.FILE_TYPE_UNKNOWN;
	}