code: static String readResource(String name) throws IOException {
          // Attempt to find the file as a resource
          String spec = String.format(BUILTIN_FILE_PATH_FORMAT, name);
  
          try (InputStream in = JShellTool.class.getResourceAsStream(spec);
                  BufferedReader reader = new BufferedReader(new InputStreamReader(in))) {
              return reader.lines().collect(Collectors.joining("\n", "", "\n"));
          }
      }
docs: Read a built-in file from resources