A Java regular expression editor