I am very interested in seeing a response from SAS to this poster's question. I also have seen inconsistencies in the several calculations for proportions data, especially when dealing with small p (<1%). I think JMP may be using the normal approximation, which may be okay for proportions you would see in marketing studies, but makes the software relatively useless for Six Sigma. At this point, given these inconsistencies I am seriously considering switching my group over to Minitab.
JMP 8.0.1 does an Exact calculation. The 2 references you give use a normal approximation calculation. (The JMP docs say JMP is using a normal approximation but they are being updated.)
When I use 8.0.1 to calculate the sample size for the example you give, I get sample size = 13 (not 7). This agrees with the Exact calculation performed at this excellent power and sample size page: http://www.stat.uiowa.edu/~rlenth/Power/.