fix javadoc generation
[sbp.git] / edu / berkeley / sbp / Tree.java