Credo che tu debba fare un cast su archivio.length.
Tuttavia visto che lo istanzi in questo modo:
codice:
archivio = new byte[(short)5];
io considererei di operare in questo modo:

codice:
public class Write_Read_Data extends Applet {
final const short DIM_ARCHIVIO = 5;
...
archivio = new byte[DIM_ARCHIVIO];
...
if((puntatore>=DIM_ARCHIVIO)&&((puntatore+lc)>=DIM_ARCHIVIO))

etc. etc.