BZ 1053562: substituted reused DRL source view widget in the java editor for a proper java source widget.
(cherry-picked from 0a3b66c)