Fixed a typo in Java main file (no change in error messages)