Workaround the rest of the stupid java bug