Update petty_java.md