Contains classes of the Jif runtime system.

The most important class is <code>Runtime</code>, which implements the Jif runtime interface that sits between Jif programs and the underying system. This package also provides some proxy classes for <code>File</code>, <code>FileInputStream</code>, <code>FileOutputStream</code> and <code>PrintStream</code>. These proxy classses usually contain a field of the corresponding Java class, to which method calls are relayed.