InternFormula.java CatKeyboard removed,
ExternInternRepresentationMapping.java externMapping string length
initialized to zero
refactored member variables
Merge remote-tracking branch 'origin/FormulaEditorBernhard' into FormulaEditor