Atualizei o arquivo Buffer.java...

[Francisco Reverbel <reverbel at ime.usp.br>]

incluindo na classe Buffer métodos writeObject e readObject. Vocês
deverão usá-los para escrever/ler no/do diretório de arquivos o tipo dos
registros de cada arquivo (RecordSet). Esse tipo será guardado como um
instância da classe Class.

Os links na página do curso já apontam para a novas versões do arquivo
Buffer.java e da sua documentação.

Um dos parâmetros do método readObject é uma instância de uma classe
auxiliar (IntHolder). O arquivo IntHolder.java e sua documentação estão
disponíveis em  

http://www.ime.usp.br/~reverbel/mac211/java/IntHolder.java

e

http://www.ime.usp.br/~reverbel/mac211/java/doc/br/usp/ime/jbase/IntHolder.html

Tive que definir essa classe (que é absolutamente trivial) só porque eu
precisava que o método readObject retornasse "mais de um valor".
Como agora temos IntHolders, defini também uma nova versão do readUTF,
que retorna "mais de um valor": a String lida (como valor do método) e o 
seu comprimento UTF (num IntHolder).

Ah, é bom eu avisar: os métodos writeObject e readObject não foram
testados!

Reverbel