finishing javadoc for Push