{
FileInputStream fis = new FileInputStream(file);
GZIPInputStream gis = new GZIPInputStream(fis);
ObjectInputStream ois = new ObjectInputStream(gis);
ClassList loaded = null;
long begin = System.currentTimeMillis();
try
{
loaded = (ClassList) ois.readObject();
} catch (Exception e)
{
println(file + " is not a valid VDM++ library");
perrs++;
continue;
} finally
{
ois.close();
}
long end = System.currentTimeMillis();
loaded.setLoaded();
classes.addAll(loaded);
classes.remap();
infoln("Loaded " + plural(loaded.size(), "class", "es")
+ " from " + file + " in " + (double) (end - begin)
/ 1000 + " secs");
} else
{
if (replaceNewIdentifier.isEmpty()