java. Minor renames in server classes, #130.