fixed GWT serialization error