Pass the size of the final string to StringBuilder in misc.javaexpr().