settings.html

<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
  </head>
  <body>
    <h3>Preferences</h3>
    <label for="settings">Select Redirection Version</label>
    <select id="settings">
      <option value="default">Default (Java 21)</option>
      <option value="21">Java 21</option>
      <option value="20">Java 20</option>
      <option value="19">Java 19</option>
      <option value="18">Java 18</option>
      <option value="17">Java 17</option>
      <option value="16">Java 16</option>
      <option value="15">Java 15</option>
      <option value="14">Java 14</option>
      <option value="13">Java 13</option>
      <option value="12">Java 12</option>
      <option value="11">Java 11</option>
      <option value="10">Java 10</option>
      <option value="9">Java 9</option>
      <option value="8">Java 8</option>
    </select>
    <script src="settings.js"></script>
  </body>
</html>