StringSubstitution.java