Ti ringrazio per la risposta.
Al momento sto riguardando tutto passo per passo ed effettivamente mi sarebbe molto più comodo usare un normale file di testo, ma questo programma mi serve per scuola e mi è stato chiesto esplicitamente di utilizzare un file .dat.

Per scrivere il file con le relative carte ho usato questo pezzo di codice
codice:
[...]
try (ObjectOutputStream out = new ObjectOutputStream(new FileOutputStream("mazzocarte.dat")) ){
for (int i=0; i < 4; i++) {
for (int j=0; j < 10; j++) {       
out.writeInt(j+1);

if (i==0) 
out.writeChars("Bastoni");
else if (i==1)
out.writeChars("Coppe");
else if (i==2)
out.writeChars("Denari");
else if (i==3)
out.writeChars("Spade");
}
}
[...]
Il file viene creato, ma non essendo certo del suo contenuto volevo testarlo con ObjectInputStream, ma appunto non so come approcciarmi.
Se c'è una soluzione alternativa accetterò volentieri consigli, però mi serve utilizzare sempre e comunque un file .dat che contenga i valori formattati come descritto nel post precedente.