Update Core.java

Fixes #6