/*
A module with some functions to simplify the interactions with the RemoteConsole.
*/
package util