workaround.

commit 6b15b71f0d2c20a349c942737c2d9a776e2da62e
Author: OHTAKE Tomohiro <ohtake.tomohiro@jp.fujitsu.com>
Date:   Tue Oct 11 16:26:37 2011 +0900

    Stylize fingerprints tables

commit 1085a476844f33d530350223d8e3c165b18d70e9
Author: OHTAKE Tomohiro <ohtake.tomohiro@jp.fujitsu.com>
Date:   Tue Oct 11 09:24:02 2011 +0900

    [FIXED JENKINS-9210] Fingerprint's age should be sorted by its elapsed time

Modified to assume UTF-8 if we fail to find it.

Earlier versions of the plugin (2.x and prior to 3.0.0-alpha6) do not produce
test reports and also do not accept the same configuration properties. Ignore
those earlier versions.
Also accept the new plugin name android-maven-plugin (changed to fit with
Maven plugin naming guidelines).

- Resizing handles can work with CodeMirror
- Double clicking on a handle adjust the height more precisely
-- Especially when the textarea's content is wrapped