Eclipse bug workaround