I just looked it up and it is guaranteed in java, but from what I was just reading it seems to be bad practice to rely on it, so I fixed it.