A framework for automating approximate programming, FlexJava, is available for download. FlexJava consists of these two components: (1) an approximation safety analysis that automatically infers a relaxable set of program data and operations; and (2) a stochastic optimization that automatically marks a subset of the relaxable data and operations as approximate while statistically satisfying the programmers' quality requirements.