delete

    /** If str is found in myLine the first occurrence of str has been
     *  removed frm myLine; otherwise myLine is left unchanged.
     *  @param str the strng to be removed
     */
    public void delete(final String str) {
        myLine.replace(str, null);
    }