#1: fixed some Java warnings
#2: fixed clinit edge mapping on uninitialized variables example problem