if (argv.length == 0) {
System.out.println ("Usage: filename");
return;
}
String filename = argv [0];
RandomAccessFile raf = new RandomAccessFile (filename, "rw");
FileChannel fc = raf.getChannel();
FileLock lock = fc.lock();
System.out.println ("Exiting");