JPTUI v4.2: text user interface library (sources).