Update Hovercraft.java

Actually using DecimalFormat. Should make command lengths much more predictable.