fix javadoc generation
[sbp.git] / sbp / Walk.java