Update the codename of debian
Add time format to history
Fallback if default-command not found
set JAVA_HOME to openjdk7