Ohloh project report for SAT4J