A search engine for Javadoc pages based on Apache Solr and PHP