Properties GWT: fix source