Abstracted P4ShellCurrentBuffer, implemented P4Revert.