added hack to avoid WALA NPE, fixed initialization of fields to default values, exposed more state to scwala