some minor improvements, added JavaDoc entries, a new sequential entry point creator, and a fix that removes some spurious paths from the context-sensitive and context-insensitive path builders