An Effective Translation of Fickle into Java