Extracting abbreviations.

Method: Opening PDF in Firefox:
http://lexicon.ff.cuni.cz/pdf/pgmc_torp/pgmc_torp_20061216.pdf
* Copying generated HTML where the abbreviations occur to a sepate html
file (firefox_pdf_html_abbrevations.html)
* When opening this file a javascript function will parse the page an
generate Java code for a hashtable
* Result: Abbreviations.java