Eclipse plugin that synthesizes real Java code