Fix for old Java