Nachos java implementation