sane parser of java command-line arguments