[orion-releng] Orion Build : I20140131-1217

[e4Build@xxxxxxxxxxx]

Title: Orion Build I20140131-1217

See here for the build results: I20140131-1217
The build contains the following changes:
+ Bug 425425 - TextView can fail to send LineStyle events for newly-rendered lines (FIXED)
+ Bug 427042 - too many "Push" buttons (FIXED)
+ Bug 427140 - [terminal] Terminal page needs to adopt new UI (FIXED)
+ Bug 427141 - Finder.findToken and Finder.findNode do not handle undefined offsets (FIXED)

The following projects have changed:
org.eclipse.orion.client.editor
org.eclipse.orion.client.git
org.eclipse.orion.client._javascript_
org.eclipse.orion.client.ui
org.eclipse.orion.server.docker

Test Results 

Test	# Tests	Failures	Errors	Success Rate	Time
JS Tests - Firefox 23.0	1990	0	0	100.00%	32.893
JUnit Tests: Server Tests	414	0	9	97.83%	314.296