PLAYERELEMENT javadoc updates; from old-1.1.xx/4baa42d