HTML和Java Servlet：servlet中所选复选框的值与HTML中的复选框的顺序相同？

Question

我有一个包含以下复选框的页面

<input type="checkbox" name="option" value="Milk"> Milk<br>
<input type="checkbox" name="option" value="Butter"> Butter<br>
<input type="checkbox" name="option" value="Cheese"> Cheese<br>

如果检查了其中的任何两个或全部，我可以在servlet中获取检查的值，如下所示：

String[] results = request.getParameterValues("option");

我的问题是：结果数组中所选值的顺序是否保证与HTML中复选框的顺序相匹配？

例如：如果在HTML中选择了Mike和Cheese，那么结果中的值必须是：results [0 = Milk and results [1] = Cheese。

有没有关于此的规格？