JEdit Editor Bean