Is `Source#withName` etc. accidentally non-public?

[pniederw]

Are methods withName, withShortName, and withPath supposed to be public rather than package-private?

Javadoc of withPath should probably say "..with the specified path" rather than "...with the specified short name".

[jtulach]

They will be deleted and replaced by Source.Builder. See the work in https://github.com/jtulach/truffle/tree/SourceBuilder

[chumer]

SourceBuilder got integrated. Closing issue.