140821: override paintComponent in TextFrame
140912: new features from java 8