Formatted code. RMI port. Menu loop change.