added javadocs to Gabbai.java