modified packaging for Document.java