RandomNameGenerator rng = new RandomNameGenerator(new Random(buildRevision.hashCode()));
rng.reset(new HashSet<>(Arrays.asList("break", "case", "catch", "class", "const",
"continue", "debugger", "default", "delete", "do", "else", "export", "extends",
"finally", "for", "function", "if", "import", "in", "instanceof", "new", "return",
"super", "switch", "this", "throw", "try", "typeof", "var", "void", "while", "with",
"yield", "enum", "implements", "interface", "let", "package", "private",
"protected", "public", "static", "await", "abstract", "boolean", "byte", "char",
"double", "final", "float", "goto", "int", "long", "native", "short",
"synchronized", "throws", "transient", "volatile")), "", null);
options.setNameGenerator(rng);