Correction of a mistake in AndroidGenerator about hashcode