buf.append(line+"\n");
ct++; if ( ct==beginLine ) buf.append(line.substring(beginColumn-1, line.length())+"\n"); else if ( ct>beginLine && ct<endLine ) buf.append(line+"\n"); else if ( ct==endLine ) buf.append(line.substring(0,endColumn));
	public void readSource(String sourceFile)	{		StringBuffer buf = new StringBuffer ();		try	{			BufferedReader in = new BufferedReader(new FileReader(sourceFile));			String line=""; 			while ( line!=null )	{	 			line = in.readLine(); 				if ( line==null )	break; 				buf.append(line+"\n"); 			} 		}	catch ( FileNotFoundException e )	{ 		}	catch ( IOException e )	{			DocRun.log(e.getMessage());	 	} 		source = buf.toString();	}