Java implementation of an empirical solver