307308309310311312313314315316317318319320
} } } GlyphRepositioner glyphRepositioner = getGlyphRepositioner(); if (glyphRepositioner != null) { glyphRepositioner.repositionGlyphs(glyphList); } char[] charEncodedGlyphCodes = new char[glyphList.size()]; // process each Glyph thus obtained