(Internal JavaDoc impr.)