Page values for "Emulators for Java"