List<String> (Path platformVmOptionsFile, Logger log) { try { return Files.readAllLines(platformVmOptionsFile, VMOptions.getFileCharset()); } catch (IOException e) { // exceptions should not prevent a user's VM options file from being processed log.warn("Cannot read platform VM options file " + platformVmOptionsFile, e); return List.of(); } }