Java Static Translation Framework (JSTF)