javadoc: Circle