#1 is the only eclipse-only way.
To do better from eclipse we need better integration of JBoss Modules understanding into how eclipse runtimes define their classpath - that is a not available yet today.
Alternatively you can fix this by using maven which have a notion of scope="provided" that let you refer to it but not have it included in the build.