szálak befejezése, java.lang