An opensource source code static analyzer for java