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