BZ 1053562: substituted reused DRL source view widget in the java editor for a proper java source widget.