Padre plugin that provides Eclipse-like useful features
