fix javadoc generation
[sbp.git] / berkeley / sbp / Union.java