Tools menu

Menu items list

Discard rounds

This opens the Discard rounds frame.

RMI Manager

Useful for Administrators/Programmers.

Memory manager

Useful for Administrators/Programmers.

Experimental tools

Work in progress
Work in progress