gui: widgets: internally use WLabel instead of JLabel where possible