Updated Javadoc comments to 1.7 standards; refreshed documentation
itself