require eclipse resource plugin for TLA integration