Rename P.java as it is annoying