I swear IvyDE wasn't working without this...