small changes in Builder.java