better format
	modified:   Postfix.java