removed Doc.java (now part of org.ibex.doc repo)