added support for launch plugins in Eclipse plugin, applied formatter