translate JavaStream.md and fix char-width of a numeric. close #262