docs: void loadScript(Charset charset) throws IOException {
  		this.charset = charset;
  		StringBuilder sb = new StringBuilder();
  		try (BufferedReader br = Files.newBufferedReader(file.toPath(), charset)) {
  			int len;
  			char[] buf = new char[1024];
  			while ((len = br.read(buf)) != -1) {
  				sb.append(buf, 0, len);
  			}
  		}
  		setContents(sb.toString());
  		setChanged(false);
  		this.lastModified = file.lastModified();
  	}