Plugin for the Scala IDE to convert Java to Scala