HP P4515 printer in 10.7.4 - what driver?
It appears HP supports this printer with the P4014 series drivers.  Try installing them manually and use the Print and Scan page in System Preferences to add the printer to your machine. 

http://h20000.www2.hp.com/bizsupport/TechSupport/ProductList.jsp?lang=en&amp;cc=us&amp;taskId=135&amp;prodTypeId=18972&amp;prodSeriesId=3558788