String className = in.getName(); int dot = className.indexOf("."); if (dot >= 0) className = className.substring(0,dot); className = encoding+className;
String tableName = src.getName(); int dot = tableName.indexOf("."); if (dot >= 0) tableName = tableName.substring(0,dot);  String className = encoding+tableName;
	public static void main(String args[]) throws Exception {		if ((args.length<3)||(args.length>4)){			System.err.println("Usage: CharTableConverter destdir package txtfile [Encoding type]");			System.exit(0);		}		CharTableConverter ht = new CharTableConverter();		File in = new File(args[2]);		String encoding = (args.length==4) ? args[3] : "";		String className = in.getName();		int dot = className.indexOf(".");		if (dot >= 0) className = className.substring(0,dot);		className = encoding+className;		String pkg = args[1];		String destFile = args[0]+File.separator+pkg.replace('.', File.separatorChar)+File.separator+className+".java";		    		ht.openFiles(in, destFile);		ht.putHeaders(pkg, className);		ht.convertTxtToHash(encoding);        ht.putMethods(encoding, className);	}