KThread.java: join() fix and PriorityScheduler.java final