[DrJava] [ drjava-Bugs-1953827 ] Invalid escape character causes error

[SourceForge.net <no...@so...>]

Bugs item #1953827, was opened at 2008-04-28 19:25
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1953827&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Invalid escape character causes error

Initial Comment:
In multi-line comments, using \u#### (exactly like that where the number signs are just number signs) and then attempting to save the file will cause an error.

This is reproducible by attempting to save an untitled file with only three lines:

/**
 * \u###
 */

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1953827&group_id=44253