private static function printLibraries($libs, PrintStream $out)
    {
        if ($libs == null) {
            $out->println("No such directory.");
            return;
        }

        foreach ($libs as $lib) {
            $out->println($lib);
        }
    }