304305306307308309310311312313314
{} } } finally { doc.readUnlock(); } } if (selectedText == null) return ""; else