Java implementation of Splat Propagation Tool