*/
protected void edit (final File file)
{
FileInputStream in;
Page page;
Cursor cursor;
int position;
int expected;
boolean modified;
char ch;
int last;
StringBuffer buffer;
FileOutputStream out;
try
{
in = new FileInputStream (file);
buffer = new StringBuffer (in.available ());
try
{
page = new Page (in, null);
cursor = new Cursor (page, 0);
position = 0;
modified = false;
expected = 0;
last = -1;
while (Page.EOF != (ch = page.getCharacter (cursor)))
{
if (++expected != cursor.getPosition ())
{
modified = true;
expected = cursor.getPosition ();
}
if ('\t' == ch)
{
do
{