Javadoc for UpdateFileRecorder and some vertical indentation in other
files