Updated JavaDoc documentation, because it was out of sync with the code (which is a nice way of saying it was plain wrong).