Updated javadoc of infix-to-postfix translator