Fix line numbering layout in Sandbox editor in Java8