local change on my pc-home.
merge in PriorJVisitor.java