public void insertDisk(String urlstr) {
    if (urlstr.startsWith("@")) {
      urlstr = urlstr.substring(1);
    }

    URL url = getResource(urlstr);
    if (!reader.readDiskFromURL(url)) {
      System.out.println("Status: problem while inserting disk: " + url);
    }
  }