pre-compiled java binary