Installation for Java class BufferedRandomFileInputStream

The class comes almost standalone. It can be used with Java 1.1 or 1.2.
To use it either
- put the compiled class file into a jar file (or add it to an
  existing one) and add this to your CLASSPATH, or
- just put the top level directory into the CLASSPATH

To compile the class under Unix (with GNU make!), to create the api
documentation or to run the test suite (provided you have JUnit from
ftp://www.armaties.com/D/home/armaties/ftp/TestingFramework/JUnit/
installed), adopt the following files to your environment:

project/site.mk:

- let JDKDir be the path to your JDK tree.
- let JUnitDir be the path to your JUnit installation, if available
- it should not be necessary to add any additional ClassPath entries
  here.
- if you have different versions of javadoc, you may update the
  commands speficied in JavaDoc1 and JavaDoc2 to switch between them.
  We prefer the 1.2 style of documentation even for compilations with 1.1

project/project.mk:

- make the setting of JUnitTests a comment, if you do not have JUnit
  installed.
- make the setting of DebugInfo a comment, if you do not want
  debugging help any more.
- add a CLASSPATH definition for compilation of this class, if you
  should need any (we do not need one).
- set JavaDocLinkURLs to a place, where to find the API installed docs
  for your Java version. If you omit that, the names of standard
  classes will not be active links in the generated API.
- the JavaVersion setting will only help in a multi version
  environment, as we run it currently.

Then run
	gmake world
to create everything (but not yet a jar file) or
	gmake
to just compile.
Use
	gmake tests
to run the test suite, if you have JUnit installed.

If you are not in a Unix environment, it should be sufficient to
compile the source file BufferedRandomFileInputStream.java in
de.tu_darmstadt.sp.util and to refer to the resulting class.
