Merge pull request #780 from gzm0/java-random

Java random
Implement StringBuilder.setLength