NFC Shield Issue

I have figured out the problem, the WProgram.h error seems to be something wrong with the new version of the Arduino compiler. This can be fixed by opening up both PN532.cpp and PN532.h and replacing the following line in both files (at the top of each):

#include <WProgram.h>

with

#include <Arduino.h>