docs: protected String[] getLibEntries(String dir)
      {
          String[] entries = new String[0];
          File libdir = new File(dir);
          if (libdir.exists() && libdir.isDirectory())
          {
              entries = libdir.list();
          }
          return entries;
      }