fixed a spec to comply with JDK 1.8