Install RCPTT IDE tools into Eclipse IDE.
Install RCPTT IDE tools into Eclipse IDE.

Run RCPTT UI tests from inside the Eclipse IDE.

[IDE]

lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus