pbat.set sets the name of the pbat executable. NOTE: This
is retained between sessions for a given user.
pbat.get gets the current stored name of the pbat executable.pbat.set( executableStr="", CLEAR=FALSE )pbat.get()
pbat.get returns a string of the currently stored name of the
pbat executable.pbat.m