title: Java: Lead 0 in double and 1 digit after a dot
body: <p>I want to format a double to string with the max length is 7 which contains a dot "." and one digit after it.<br>
  For example:</p>
  
  <pre><code> 123.4 becomes "00123.4"
   12345 becomes "12345.0"
   12345.63 becomes "12345.6"
  </code></pre>
  
  <p>Any help, please!</p>