Javadoc updates to view.atest.  Also fixed casting issues