Newly provisioned Eclipse IDE shows compiler errors for tlc2.tool.fp.LongArray.
Newly provisioned Eclipse IDE shows compiler errors for
tlc2.tool.fp.LongArray.

This only affects the Eclipse IDE and stops it from erroring on
LongArray.

[IDE]
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus